Franziska Jahnke: Defining valuations in ordered fields (Oberseminar zur Modelltheorie und Gruppen)
Thursday, 08.12.2022 11:00 im Raum SR1d
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.