Program

All presentations will take place in Building V, Room 1001 (Senatssaal).

Thursday, 1 August 2019

10:00 11:00Victoria Gitman (City University of New York): “Toy multiverses of set theory”
11:00 11:15 Break
11:15 12:00Michał Godziszewski (University of Warsaw): “Axiomatic theories of truth over set theory, robust realism, and the multiverse”
12:00 13:00Lunch
13:00 13:45Henning Heller (University of Vienna): “Mathematical foundations and (meta-)mathematical language”
13:50 14:35 Rupert McCallum (University of Tübingen): “On the extent of intrinsic justifications for large cardinal axioms in set theory”