Understanding of the connections between logic and set theory, in particular the axiomatic approach. Skillful handling of ordinals and cardinals, in particular the methods of transfinite induction and recursion.
Axioms of Set Theory, Set Theory as a Foundations of Mathematics, Ordinal Numbers, Cardinal Numbers, Axiom of Choice. Possibly basics of some additional topics such as set theory of the reals, descriptive set theory, and large cardinals.
Mathematical maturity, decent understanding of first-order logic.
Registration via https://www.sis.uva.nl is mandatory four weeks before the start of the Semester.
Lectures, the course is taught in English.
Herbert B. Enderton, 'Elements of Set Theory', Academic Press.
Regular homework (50%) and classroom exam (50%).