To be agreed. Preliminary meeting March 5, 16:15, Seminar Room Schloß Hagenberg.
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.
Getting acquainted with various aspects of set theory, in particular axiomatic and model-theoretic ones.
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.