To be agreed. There will be a preliminary meeting on October 9, 15:00-15:30, seminar room Schloß Hagenberg.
Participants should be familiar with the most basic notions of set theory (union, intersection, power set etc.) and with the language of predicate logic.
Seminar talks.
Getting acquainted with various aspects of set theory (axiomatic foundation, cardinal numbers, etc.)
Thetalks will range from elementary topics to more advanced ones like large cardinals, and also to philosophical issues.