- James W Cummings (Carnegie Mellon University)
- Noam Greenberg (Victoria University of Wellington)
- Ralf Schindler (University of Münster)
- Yue Yang (National University of Singapore)
- Liang Yu (Nanjing University)
Computability theory and set theory are two branches of mathematical logic. Both originated from questions about the consistency and decidability of mathematics: modern set theory and logic are based on a response to the foundational paradoxes of Russell and Frege; the formalization of computability was used by Gödel in his negative result regarding Hilbert’s programme, namely his incompleteness theorem. There are strong ties between the two subjects, via the study of definability. This has led leading researchers such as Theodore Slaman to view both fields as lying at two ends of a continuum. Recent results have revealed new and exciting connections between computability theory and set theory.
This workshop will bring both computability theorists and set theorists together and develop further connections between the two fields.
The program will focus on, but not limited to, the following topics:
- Algorithmic randomness and analysis
- Reverse mathematics and effective content of combinatorial principles
- Forcing axioms and the axiom star (*)
- New methods in forcing
- Descriptive inner model theory, the core model induction and the mouse set conjecture
The IMS will be closed on 29 June 2023 for the Hari Raya Haji public holiday.
|Collaborative research and workshop||12 June–7 July 2023||N/A|
|Workshop on Computability Theory||12–16 June 2023||N/A|
|Workshop on Computability Theory, Set Theory and their interactions||19–30 June 2023||N/A|
|Workshop on Set Theory||3–7 July 2023||N/A|
Computability theorists and set theorists come together and discuss the following topics: algorithmic randomness, reverse mathematics, forcing axioms, inner model theory, the mouse set conjecture etc.