Advanced topics in mathematical logic summer semester 2017
Time: Tue, Thu 2:00pm–3:00pm
starts 2017‑03‑02
Place: KGRC
The Hyperuniverse
The Hyperuniverse is the collection of all countable transitive models of ZFC. This course is devoted to the mathematical study of the structure of the Hyperuniverse, which entails numerous issues in forcing, definability, large cardinals, determinacy and infinitary logic.