Program – Set Theory: Bridging Mathematics and Philosophy

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

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

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

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