Program

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 Monroe Eskew (University of Vienna): “Categories of amenable
embeddings and what canonicity in set theory cannot be”
14:50 – 15:35William Chan (University of North Texas): “Forcing and determinacy”
15:35 – 16:00Break
16:00 – 17:00Juliette Kennedy (University of Helsinki): TBA

Tuesday, 30 July 2019

10:00 – 11:00Joan Bagaria (University of Barcelona): TBA
11:00 – 11:15Break
11:15 – 12:15Marianna Antonutti Marfori (Ludwig Maximilian University Munich):
TBA
12:15 – 13:30Lunch
13:30 – 14:15Mangesh Patwardhan (National Insurance Academy Pune):
“Cantor’s Paradise on Skolem’s Earth”
14:20 – 15:05Christopher Menzel (Texas A&M University) & Guillermo Badia
(University of Queensland): “Modal set theory and potential hierarchies”
15:05 – 15:30Break
15:30 – 16:30TBA (Presentation from members of the Forcing Project)
16:30 – 17:30Godehard Link (Ludwig Maximilian University Munich): TBA

Wednesday, 31 July 2019

10:00 – 11:00Toby Meadows (UC Irvine): TBA
 11:00 – 11:15Break
11:15 – 12:00Matteo de Ceglie (University of Salzburg) & Claudio Ternullo:
“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:00Mirna Džamonja: TBA