Time and place:

Mo 16:15-17:45, HT 177 F.

Entry requirements:

Participants have to be familiar only with the most basic notions of set theory (union, intersection, power set etc.) and with the language of predicate logic.

Assessment/Examination:

Seminar talks.

Course aims:

Getting acquainted with various aspects of set theory, in particular axiomatic and model-theoretic ones.

Course description:

There will be talks of various aspects set theory, ranging from axiomatic foundations to more advanced topics like large cardinals, and also to philosophical considerations.

Literature:

• F. Drake: Set Theory. An Introduction to Large Cardinals.
• T. Jech: Set Theory.
• K. Kunen: Set Theory. An Introduction to Independence Proofs.
• M. Potter: Set Theory and its Philosophy.