Conference Agenda
The sessions of the sections are highlighted in blue, those of the mini-symposia in yellow.
Please select a date or location to show only sessions at that day or location. If you click the selected day again, you return to the agenda overview.
You can also filter by sections or mini-symposia (topics). Please select a single session for detailed view with abstracts.
As participant you can create your own personal agenda. To do so, log into your account first. Then go to the agenda and click on the plus symbol to add sessions to your personal agenda.
|
Daily Overview |
| Session | |
|
ML1: Mathematical Logic Location: G530 Session Chair: Anna De Mase Session Chair: Lothar Sebastian Krapp | |
    | |
The model-based turn in set theory University of Konstanz, Germany In this talk, I will study a change that took place in the 1960's within the field of set theory. Here, the introduction and development of model-theoretic methods, such as ultrapower constructions, inner models and forcing, sparked an explosion of results, clarified long-standing questions and opened up new areas of research. Most importantly, these methods provided a unified methodology for set theory's two main epistemic functions: serving as a foundational theory on the one hand, and studying mathematical infinity on the other. I will analyse this change considering the introduction of forcing to set theory. Not only did this resolve one of the most pressing problems of that time, the question about the independence of the Continuum Hypothesis, but also led to establishing $ZFC$ as the foremost axiomatization fruitful for metamathematical and mathematical results. All in all, it was a major step in | |
