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

Monday, 29 July 2019

09:30 10:00Registration and welcome
10:00 11:00Leon Horsten (University of Bristol): “Boolean-valued sets as arbitrary objects”
11:00 11:15Break
11:15 12:00Chris Scambler (New York University): “Can all things be counted?”
12:05 12:50Roland Bolz (Humboldt Universität Berlin):
“Concepts and analogy-making in set-theoretic and category-theoretic foundations of mathematics”
12:50 14:00Lunch
14:00 14:45 Christopher Menzel (Texas A&M University) & Guillermo Badia (University of Queensland): “Modal set theory and potential hierarchies”
14:50 15:50Karl-Georg Niebergall (Humboldt Universität Berlin): “Incomparable extensions of ZF”
15:50 16:15Break
16:15 17:15Juliette Kennedy (University of Helsinki): “On Invariance in foundational practice”

Tuesday, 30 July 2019

10:00 11:00Mirna Džamonja (University of East Anglia):  “Is set theory pure or applied mathematics? On the ontological power of set theory and its limits”
11:00 11:15Break
11:15 12:15Marianna Antonutti Marfori (Ludwig Maximilian University Munich): “A Predicativisit Perspective on Definable Sets of Reals”
12:15 13:30Lunch
13:30 14:15Mangesh Patwardhan (National Insurance Academy Pune): “Cantor’s Paradise on Skolem’s Earth”
14:20 15:05Monroe Eskew (University of Vienna): “Categories of amenable embeddings and what canonicity in set theory cannot be”
15:05 15:30Break
15:30 16:00Deborah Kant (Universität Konstanz): “How does a qualitative interview study inform the philosophy of set theory?”
16:00 16:30Carolin Antos (University of Konstanz) & Daniel Kuby (University of Konstanz): “An inconsistent multiverse?”
16:30 17:30Godehard Link (Ludwig Maximilian University Munich): “Set-theoretic Truth”
19:30Conference Dinner (Constanzer Wirtshaus)

Wednesday, 31 July 2019

10:00 11:00Toby Meadows (UC Irvine): “Iterability and generalised proof theory”
11:00   11:15Break
11:15 12:00Matteo de Ceglie (University of Salzburg) & Claudio Ternullo (KGRC, Vienna): “The V-logic multiverse”
12:05 12:50Douglas Blue (Harvard University): “The generic multiverse is not going away”
12:50 14:00Lunch
14:00 14:45Thomas Tulinski (École Normale Supérieure de Lyon): “The singularity of forcing”
14:50 15:35Giorgio Venturi (Univesidade Estadual de Campinas): “A semantic approach to independence”
15:35 16:00Break
16:00 17:00Joan Bagaria (University of Barcelona): “Philosophical implications of some recent breakthroughs in set theory”