|| Set Theory
|| Péter Mekis
|| BBN-FIL-401.11, BMA-FILD-401.1, BMA-LOTD-203.2, BMI-LOTD-203E.2
|| Friday 12:00-13:30
|| i -109 (basement)
|| 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 (uploaded during the course)
- Smullyan, R.and Fitting, M.,
Set Theory and the Continuum Problem.
Oxford UP, 1996.
- Mendelson, E.,
Introduction to Mathematical logic .
4th ed. Springer, 1997.