Uniformly defining p-Henselian valuations

DOI10.1016/J.APAL.2015.03.003MaRDI QIDQ2344717zbMATH OpenOpenAlexFDO

Authors Franziska Jahnke, Jochen Koenigsmann

Publication date 15 May 2015

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-Henselian valued fieldsdefinable valuationsvaluations

Mathematics Subject Classification ID

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

Abstract: Admitting a non-trivial $p$-henselian valuation is a weaker assumption on a field than admitting a non-trivial henselian valuation. Unlike henselianity, $p$-henselianity is an elementary property in the language of rings. We are interested in the question when a field admits a non-trivial 0-definable $p$-henselian valuation (in the language of rings). We give a classification of elementary classes of fields in which the canonical $p$-henselian valuation is uniformly 0-definable. We then apply this to show that there is a definable valuation inducing the ($t$-)henselian topology on any ($t$-)henselian field which is neither separably nor real closed.

Recommendations

• \(p\)-Henselian fields
• Definable non-divisible Henselian valuations
• Definable Henselian valuations
• Defining coarsenings of valuations
• Henselianity in the language of rings

Cites work

• \(p\)-Henselian fields
• Algebraic number fields elementarily determined by their absolute Galois group
• Characterization of fans and hereditarily pythagorean fields
• Definability and decision problems in arithmetic
• scientific article; zbMATH DE number 3572309 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 2020232 (Why is no real title available?)
• Mathematical logic and model theory. A brief introduction
• The Undecidability of Algebraic Rings and Fields
• Undecidability and Definability for the Theory of Global Fields
• Valued Fields

Cited in

(16)

• Definable valuations induced by multiplicative subgroups and NIP fields
• Henselianity in the language of rings
• The classification of dp-minimal and dp-small fields
• On the quantifier complexity of definable canonical Henselian valuations
• Definable valuations induced by definable subgroups
• Eliminating field quantifiers in strongly dependent henselian fields
• Recent progress on definability of Henselian valuations
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
• Distality in valued fields and related structures
• Definable V-topologies, Henselianity and NIP
• A conjectural classification of strongly dependent fields
• Definable Henselian valuations
• Defining coarsenings of valuations
• Dp-minimal valued fields
• Definable valuations on ordered fields
• Henselian expansions of NIP fields

This page was built for publication: Uniformly defining \(p\)-Henselian valuations

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