Title 
Set Theory 
Lecturer 
Péter Mekis 
Codes 
BMALOTD203.1, BMILOTD203E.1 
Time 
Monday 14:0015:30 
Venue 
i224 
Prerequisites 
The course assumes some familiarity with the basic concepts and methods of standard firstorder 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ödelBernays set theory;
 a reconstruction of the natural numbers;
 wellordered 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.
