Ordered sets and well ordered sets. Ordinals. Linearly ordered sets. Uniqueness of countable linear orders without endpoints.
The set of finite ordinals, construction of the natural numbers, the induction principle and some of its equivalents.
Countable sets, construction of the rational numbers.
Construction of the real field.
Cardinality, cardinals, and the Cantor-Bernstein theorem.
Uncountable sets, Cantor’s theorem, applications.
The axiom of choice and its equivalents (the well ordering principle, Zorn’s lemma).
Applications of the axiom of choice. Transfinite induction.
Throughout the course we will see applications of the course’ material in algebra, logic, graph theory, Euclidean spaces and infinite combinatorics.