*The application deadline has passed for this Trimester Program. To apply for the School or Conference, please use the links listed below (Trimester Program Events).*
Gödel’s Incompleteness Theorems reveal the fundamental complexity of arithmetic, both in negative sense, i.e., the undecidability of the theory of the natural numbers, but also in positive sense that first-order language of fields is far more expressive than one might think. The structures born from the interaction of logic and number theory/arithmetic geometry are at the center of extensive and intensive study at the frontier of computability theory, model theory, number theory and arithmetic geometry.
Among the topics at the core of the program, the focus will be on:
- Decidability and computability, e.g. Hilbert Tenth Problem over arithmetically
significant domains. - Definability, e.g., definability of valuations, definability in arithmetic geometry.
- Computability, e.g., effectiveness and complexity of countable structures.
Link to Trimester Program website
Scientific Organizers:
- Valentina Harizanov (George Washington University)
- Philipp Hieronymi (University of Bonn)
- Jennifer Park (Ohio State University)
- Florian Pop (University of Pennsylvania)
- Alexandra Shlapentokh (East Carolina University)
Trimester Program Events:
Each week of the Trimester Program includes numerous activities, such as a seminar series, lecture series, reading courses and so on. In addition, there are some major events, one Summer School, one Workshop, as well as one Conference. The Workshop is aimed at people who are participants in the Trimester Program at that time. It is not possible to apply only for a Workshop. The Summer School is aimed at early-career researchers, especially PhD students and postdocs. There is a separate application platform for this event, which can be found on the School's event page.