Title Set Theory
Lecturer Péter Mekis
Codes BBN-FIL-401.11, BMA-FILD-401.1, BMA-LOTD-203.2, BMI-LOTD-203E.2
Time Friday 12:00-13:30
Venue i -109 (basement)
Prerequisites The course assumes some familiarity with the basic concepts and methods of standard first-order logic.
Description The course provides a philosophical introduction to set theory. The lectures will cover the following topics:
  1. informal introduction to Cantor's paradise;
  2. naive set thory as a formal system: the classical paradoxes;
  3. the axioms of Gödel-Bernays set theory;
  4. a reconstruction of the natural numbers;
  5. well-ordered classes;
  6. ordinal numbers;
  7. the axiom of choice;
  8. cardinal numbers;
  9. finitization of the axiom system;
  10. Gödel's constructible universe.
The topics may change during the course, in accordance with student demand.
Literature
  • 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.