Seminar series
Date
Thu, 05 May 2022
Time
11:30 -
12:45
Location
L6
Speaker
Franziska Jahnke
Organisation
University of Münster
We study the definability of valuation rings in ordered fields (in the language of ordered rings). We show that any henselian valuation ring that is definable in the language of ordered rings is already definable in the language of rings. However, this does not hold when we drop the assumption of henselianity.
This is joint work with Philip Dittmann, Sebastian Krapp and Salma Kuhlmann.