DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP

DOI10.1017/JSL.2022.34MaRDI QIDQ6095974zbMATH OpenOpenAlexFDO

Authors Lothar Sebastian Krapp, Salma Kuhlmann

Publication date 11 September 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

\(t\)-Henselianitydefinable valuationsHenselian valued fieldsordered abelian groups

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) Valued fields (12J10) Non-Archimedean valued fields (12J25) Model theory of fields (12L12) Henselian rings (13J15)

Abstract: Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we present a construction method for a $t$-henselian non-henselian ordered field elementarily equivalent to a henselian field with a specified value group.

Cites work

• A conjectural classification of strongly dependent fields
• A transfer theorem for Henselian valued and ordered fields
• Definability and decision problems in arithmetic
• Definable Henselian valuations
• Definable non-divisible Henselian valuations
• Definable valuations induced by multiplicative subgroups and NIP fields
• Defining coarsenings of valuations
• Dp-minimal valued fields
• Eliminating field quantifiers in strongly dependent henselian fields
• Henselianity in the language of rings
• scientific article; zbMATH DE number 3518914 (Why is no real title available?)
• scientific article; zbMATH DE number 3572309 (Why is no real title available?)
• scientific article; zbMATH DE number 5066354 (Why is no real title available?)
• Model Theory
• On the quantifier complexity of definable canonical Henselian valuations
• Ordered exponential fields
• Ordered fields dense in their real closure and definable convex valuations
• Recent progress on definability of Henselian valuations
• Shorter Notes: On the Undecidability of Power Series Fields
• Some model theory for almost real closed fields
• Strongly dependent ordered abelian groups and Henselian fields
• Strongly dependent theories
• The canonical topology on dp-minimal fields
• Valued Fields

Cited in

(4)

• Eliminating field quantifiers in strongly dependent henselian fields
• Definable V-topologies, Henselianity and NIP
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• Definable valuations on ordered fields

This page was built for publication: DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP

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