The Schedule

13:00 - 14:15 Axioms for Arbitrary Object Theory

Leon Horsten (University of Konstanz)

14:15 - 15:30 The Multiverse View and Set-Theoretic Practice

Deborah Kant (University of Hamburg)

Coffee Break 15:30 - 16:00

16:00 - 16:45 Paraconsistent Set-theoretic Pluralism and the Benacerraf Challenge: A Reassessment 

Sabina Dominguez Parrado (University of Amsterdam and University of Saint Andrews) 

16:45 - 17:30 Ordinary constructions of arbitrary objects

Pedro Yago (Scuola Normale Superiore) 

Break 17:30 - 17:45

17:45 - 19:00 Do Algebra-valued models motivate logical pluralism?

Santiago Jockwich (University of Oslo) 

9:00 - 10:15 A potential hierarchy of properties

Sam Roberts (University of Konstanz) 

10:15 - 11:00 Can proofs by mathematical induction be explanatory?

Sofie Vaas (University of Konstanz) 

Break 11:00 - 11:15

11:15 - 12:00 Epistemology & Pluralism

Guanglong Luo (University of Konstanz)

Lunch Break 12:00 - 14:00

14:00 - 14:45 Probabilities and the Set-theoretic Multiverse 

Pascal Wagner (University of Konstanz)

14:45 - 15:30 Everything and More... in Layers: A Compact History of Level Theories

Davide Sutto (University of Oslo)

Coffee Break 15:30 - 16:00

16:00 - 17:15 Levels of explanation and proof type 

Carolin Antos (University of Konstanz)

17:15 - 18:30 Choiceless Large Cardinals: Some Preliminary Considerations

Beau Madison Mount (University of Oxford)

End of the day 18:30