Sylvy Anscombe (Institut de Mathématiques de Jussieu-Paris Rive Gauche)
- Date
- Wednesday 16 June 2021
- Location
- MALL / Zoom
- Category
- Models and Sets Seminar
Some existential theories of fields
Building on previous work, I will discuss Turing reductions between various fragments of theories of fields. In particular, we exhibit several theories of fields Turing equivalent to the existential theory of the rational numbers. This is joint work with Arno Fehm.