Lecture 1, 07.03.: We made a review of the material covered in Chapter I of [3], up to Theorem I.9.11 (Transfinite Recursion on Well-founded Relations). Lecture 2, 14.03.: We discussed the notion of a rank, as well as the Mostowski collapsing function material corresponding to Section 9 of [3]. Lecture 3, 04.04.: We discussed hereditarily transitive sets, the DownwardLöwenheim-Skolem-Tarksi The...