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