Time and place:

To be agreed. There will be a preliminary meeting on March 6, 15:00-15:30, seminar room Schloß Hagenberg.

Entry requirements:

Participants should be familiar 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:

• Seminar notes.
• 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.