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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2017-02-08, 15:16.