|| Set Theory
|| Péter Mekis
|| BMA-LOTD-203.1, BMI-LOTD-203E.1
|| Monday 14:00-15:30
|| The course assumes some familiarity with the basic concepts and methods of standard first-order logic.
|| The course provides a philosophical introduction to set theory.
The lectures will cover the following topics:
The topics may change during the course, in accordance with student demand.
- informal introduction to Cantor's paradise;
- naive set thory as a formal system: the classical paradoxes;
- the axioms of Gödel-Bernays set theory;
- a reconstruction of the natural numbers;
- well-ordered classes;
- ordinal numbers;
- the axiom of choice;
- cardinal numbers;
- finitization of the axiom system;
- Gödel's constructible universe.
Lecture notes (Last updated at December 11.)
- Smullyan, R.and Fitting, M.,
Set Theory and the Continuum Problem.
Oxford UP, 1996.
- Mendelson, E.,
Introduction to Mathematical logic .
4th ed. Springer, 1997.