The exact strength of the class forcing theorem
26.09.2017 16:00 - 18:00
Organiser: