|
pweische

Franziska Jahnke: Defining valuations in ordered fields (Oberseminar zur Modelltheorie und Gruppen)

Thursday, 08.12.2022 11:00 im Raum SR1d

Mathematik und Informatik

Abstract: 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.



Angelegt am Thursday, 01.12.2022 10:29 von pweische
Geändert am Thursday, 01.12.2022 10:29 von pweische
[Edit | Vorlage]

Oberseminare und sonstige Vorträge