Program

Download program (PDF)
Download abstracts booklet (PDF)

Monday, September 17th

10:00-10:30

Welcome reception

10:30–12:00

José Ferreirós (Universidad de Sevilla) Invited talk: “How to study the evolution of set-theoretic practices? Some methodological considerations”

12:00–13:30

Lunch
13:30–14:30
Mikkel Willum Johansen (Københavns Universitet)
“A typology of mathematical diagrams”
14:30–15:30
Monroe Eskew (Universität Wien)
“Generic large cardinals as axioms”
15:30–16:00
Break
16:00–17:30
Merlin Carl (Universität Flensburg)
Invited talk: TBA
Evening

Get-together (Café-Bar-Restaurant Dom Konstanz)

Tuesday, September 18th

09:30–11:00
John Baldwin (University of Illinois at Chicago)
Invited talk: “The entanglement of set theory and infinitary model theory”
11:00–11:15
Break
11:15–12:15
Deniz Sarikaya (Universität Hamburg)
“The usage of frameworks from philosophy of science in philosophy of mathematics”
12:15–13:30
Lunch
13:30–14:30
Krzysztof Wójtowicz (Uniwersytet Warszawski) “What could set-theoretic explanations in science be?”
14:30–15:30

Michał Godziszewski (Uniwersytet Warszawski)
“Set-theoretic independence of existence of some local hidden variable models in the foundations of quantum mechanics”

15:30–16:00
Break
16:00–17:30

Alison Pease (University of Dundee)
Invited talk: “Inspirations from online collaborative mathematics into automated reasoning”

Wednesday, September 19th

09:30–11:00
Benedikt Löwe (Universiteit van Amsterdam/Universität Hamburg)
Invited talk: TBA
11:00–11:15
Break
11:15–12:15
Carolin Antos/Daniel Kuby (Universität Konstanz)
“The Forcing Project”
12:15–13:30
Lunch

14:00

Guided city tour

19:00

Conference dinner (Constanzer Wirtshaus)

Thursday, September 20th

09:30–11:00

Victoria Gitman (City University of New York)
Invited talk: “The stable core”

11:00–11:15
Break
11:15–12:15

Matteo de Ceglie (Universität Salzburg)
“A naturalistic case in favour of the generic multiverse with a core”

12:15–13:30
Lunch
13:30–14:30

Miha Habič (České vysoké učení technické/Univerzita Karlova)
“Embedding posets into the set-generic multiverse”

14:30–15:30

Nick de Hoog (Universität Konstanz)
“A made-to-measure data-driven approach”

15:30–16:00
Break
16:00–17:30

Roy Wagner (ETH Zürich)
Invited talk: “Semiotic analysis of mathematical texts (a hands-on introduction with applications to P.  Cohen’s presentations of forcing)”

Friday, September 21st

09:30–11:00

Neil Barton (Universität Wien)
Invited talk: “Forcing and the universe of sets: Must we lose insight?”

11:00–11:15
Break
11:15–12:15
Jeffrey Schatz (University of California, Irvine)
“On the role of outer models in the methodological maxim of maximization”
12:15–13:30
Lunch
13:30–14:30

Deborah Kant (Humboldt Universität zu Berlin)
Invited talk: “Interviews with set theorists – different views on forcing”