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:
- 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.
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.
|