Definable valuations on ordered fields

DOI10.2140/MT.2023.2.101arXiv2206.15301OpenAlexW4382047970MaRDI QIDQ6166188FDOQ6166188

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

Publication date: 2 August 2023

Published in: Model Theory (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

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)