Some existential theories of fields
Sylvy Anscombe (Université de Paris)
22-Apr-2021, 18:00-19:00 (4 years ago)
Abstract: 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.
commutative algebraalgebraic geometrylogicnumber theory
Audience: researchers in the topic
Series comments: Description: Seminar on all areas of logic
| Organizer: | Wesley Calvert* |
| *contact for this listing |
Export talk to