Programme

Tuesday, July 12

9:00–10:00 Registration & welcome with coffee and pastries

10:00–11:30 Toby MeadowsThe Metaphysics of the Multiverse (1)

11:30–11:45 Break

11:45–13:15 Jouko VäänänenMultiverse Set Theory and Absolutely Undecidable Propositions

13:15–14:15 Lunch

14:15–15:45 John BaldwinDoes set theoretic pluralism entail model theoretic pluralism? (1)

15:45–16:15 Break

16:15–17:45 Colin Rittberg and Fenner TanswellMathematical Values and Set-Theoretic Pluralism (1)

18:15–19:15 Pub

19:30– Conference dinner

Wednesday, July 13

9:30–11:00 Jouko VäänänenSecond order logic or set theory?

11:00–11:30 Break

11:30–13:00 John BaldwinDoes set theoretic pluralism entail model theoretic pluralism? (2)

13:00–14:00 Lunch

14:00–15:30 Colin Rittberg and Fenner TanswellMathematical Values and Set-Theoretic Pluralism (2)

15:30–16:00 Break

16:00–17:30 Justin Clarke-DoanePluralism and the A Priori (1)

17:30–17:45 Break

17:45–19:15 Jonas ReitzSet-theoretic geology (1)

Thursday, July 14

9:30–11:00 Toby MeadowsThe Metaphysics of the Multiverse (2)

11:00–11:30 Break

11:30–13:00 Jouko VäänänenSort logic and foundations of mathematics

13:00–14:00 Lunch

14:00–15:30 John BaldwinDoes set theoretic pluralism entail model theoretic pluralism? (3)

15:30–16:00 Break

16:00–17:30 Jonas Reitz, Set-theoretic geology (2)

17:30–17:45 Break

17:45–19:15 Justin Clarke-DoanePluralism and the A Priori (2)

Friday, July 15

9:30–11:00 Colin Rittberg and Fenner TanswellMathematical Values and Set-Theoretic Pluralism (3)

11:00–11:30 Break

11:30–13:00 Jonas Reitz, Set-theoretic geology (3)

13:00–14:00 Lunch

14:00–15:30 Justin Clarke-DoanePluralism and the A Priori (3)

15:30–16:00 Break

16:00–17:30 Toby MeadowsThe Metaphysics of the Multiverse (3)

18:15–19:15 Pub

20:00– Conference dinner

Saturday, July 16

9:30–10:00 Coffee and pastries

10:00–12:00 Øystein Linnebo, Potentialism about set theory

12:00–13:00 Lunch

13:00–15:00 Juliette KennedyTarski and "the mathematical", the framework problem, and symbiosis

15:00–15:15 Break

15:15–17:15 Joan Bagaria, Structural Reflection phenomena in the set-theoretic universe

Sunday, July 17

9:30–10:00 Coffee and pastries

10:00–12:00 Jouko VäänänenInner Models from Extended Logics

12:00–13:00 Lunch

13:00–15:00 Joel David HamkinsPluralism-inspired mathematics, including a recent breakthrough in set-theoretic geology

15:00–15:15 Closing
Comments