60 credits in mathematics.
Set theory is a part of mathematical logic. The course covers: Paradoxes. The cumulative hierarchy. The axioms for Zermelo-Fraenkel's set theory. Classes. Ordered sets: partial and linear orderings, well-founded relations, well-orderings. The axiom of choice and equivalent variants. Zorn's lemma and the well-ordering principle. Transfinite induction and recursion. Ordinals and cardinals. The continuum hypothesis. Briefly about independence results and models of set theories. Briefly about category theory.
