Title Set Theory
Lecturer Péter Mekis
Codes BMA-LOTD-203.1, BMI-LOTD-203E.1
Time Monday 14:00-15:30
Venue i224
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 (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.