Preliminary 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): TBA
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:45Rupert McCallum (University of Tübingen): “On the extent of intrinsic justifications
for large cardinal axioms in set theory”
13:50 – 14:35 Henning Heller (University of Vienna): “Mathematical foundations and
(meta-)mathematical language”