Definable Henselian valuations

DOI10.1017/JSL.2014.64MaRDI QIDQ5251359zbMATH OpenOpenAlexFDO

Authors Franziska Jahnke, Jochen Koenigsmann

Publication date 20 May 2015

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

Full work available at URL https://arxiv.org/abs/1210.7615, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.761.4121

zbMATH Keywords

absolute Galois groupsdefinable valuationsHenselian valued fieldsvaluations

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12)

Abstract: In this note we investigate the question whether a henselian valued field carries a non-trivial 0-definable henselian valuation (in the language of rings). It follows from the work of Prestel and Ziegler that there are henselian valued fields which do not admit a 0-definable non-trivial henselian valuation. We give conditions on the residue field which ensure the existence of a parameter-free definiton. In particular, we show that a henselian valued field admits a non-trivial 0-definable valuation when the residue field is separably closed or sufficiently non-henselian, or when the absolute Galois group of the (residue) field is non-universal.

Recommendations

• Defining coarsenings of valuations
• Uniform definability of henselian valuation rings in the Macintyre language
• Definable non-divisible Henselian valuations
• A definable Henselian valuation with high quantifier complexity
• Uniformly defining \(p\)-Henselian valuations

Cites work

• \(p\)-Henselian fields
• Artin-Schreier extensions in NIP and simple fields
• Characterization of fans and hereditarily pythagorean fields
• Definable non-divisible Henselian valuations
• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

Cited in

(24)

• Ordered fields dense in their real closure and definable convex valuations
• Definable valuations induced by multiplicative subgroups and NIP fields
• Strongly dependent ordered abelian groups and Henselian fields
• Uniformly defining \(p\)-Henselian valuations
• On n-dependent groups and fields
• On the quantifier complexity of definable canonical Henselian valuations
• A definable Henselian valuation with high quantifier complexity
• Definable valuations induced by definable subgroups
• scientific article; zbMATH DE number 4135926 (Why is no real title available?)
• Subfields of Henselian valued fields
• Recent progress on definability of Henselian valuations
• scientific article; zbMATH DE number 1869727 (Why is no real title available?)
• Distality in valued fields and related structures
• Definable V-topologies, Henselianity and NIP
• A conjectural classification of strongly dependent fields
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• On a class of Henselian fields
• Defining coarsenings of valuations
• Definable non-divisible Henselian valuations
• Uniform definability of henselian valuation rings in the Macintyre language
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Definable valuations on ordered fields
• Henselian expansions of NIP fields
• Finite undecidability in NIP fields

This page was built for publication: Definable Henselian valuations

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