Definable valuations on ordered fields

DOI10.2140/MT.2023.2.101MaRDI QIDQ6166188zbMATH OpenOpenAlexFDO

Authors Philip Dittmann, Franziska Jahnke, Lothar Sebastian Krapp, Salma Kuhlmann

Publication date 2 August 2023

Published in Model Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2206.15301

zbMATH Keywords

ordered fieldsconvex valuationsalmost real closed fieldshenselian valuationsdefinable valuationsstably embedded

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Formal power series rings (13F25) Real algebra (13J30) Model theory of fields (12L12) General valuation theory for fields (12J20) Valuations and their generalizations for commutative rings (13A18)

Abstract: We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings $mathcal{L}_{mathrmr}$ and in the richer language of ordered rings $mathcal{L}_{mathrmor}$. We analyse and compare definability in both languages and show the following contrary results: while there are convex valuations that are definable in the language $mathcal{L}_{mathrmor}$ but not in the language $mathcal{L}_{mathrmr}$, any $mathcal{L}_{mathrmor}$-definable henselian valuation is already $mathcal{L}_{mathrmr}$-definable. To prove the latter, we show that the value group and the ordered residue field of an ordered henselian valued field are stably embedded (as an ordered abelian group, respectively as an ordered field). Moreover, we show that in almost real closed fields any $mathcal{L}_{mathrmor}$-definable valuation is henselian.

Recommendations

• Ordered fields dense in their real closure and definable convex valuations
• Definable Henselian valuations
• Definable non-divisible Henselian valuations
• Defining coarsenings of valuations
• Some model theory for almost real closed fields

Cites work

• A transfer theorem for Henselian valued and ordered fields
• Asymptotic differential algebra and model theory of transseries
• Automorphisms and Isomorphisms of Real Henselian Fields
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Definable V-topologies, Henselianity and NIP
• Definable non-divisible Henselian valuations
• Dp-minimal valued fields
• Hensel minimality I
• Lectures on the model theory of valued fields
• Model Theory
• NIP Henselian valued fields
• On the quantifier complexity of definable canonical Henselian valuations
• Ordered fields and sign-changing polynomials.
• Ordered fields dense in their real closure and definable convex valuations
• Recent progress on definability of Henselian valuations
• Some model theory for almost real closed fields
• Uniformly defining \(p\)-Henselian valuations
• Valuation fans and residually closed Henselian fields
• Valued Fields

Cited in

(2)

• Existentially closed ordered difference fields and rings
• Orderings and valuations on *-fields

This page was built for publication: Definable valuations on ordered fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166188)