Uniformly defining \(p\)-Henselian valuations

DOI10.1016/j.apal.2015.03.003zbMath1372.03077arXiv1407.8156OpenAlexW2963267314MaRDI QIDQ2344717

Jochen Koenigsmann, Franziska Jahnke

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

valuationsdefinable valuations\(p\)-Henselian valued fields

Mathematics Subject Classification ID

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

Related Items (11)

Henselianity in the language of rings ⋮ Distality in valued fields and related structures ⋮ On the quantifier complexity of definable canonical Henselian valuations ⋮ Definable valuations on ordered fields ⋮ The classification of dp-minimal and dp-small fields ⋮ Definable V-topologies, Henselianity and NIP ⋮ Definable Valuations Induced by Definable Subgroups ⋮ Recent progress on definability of Henselian valuations ⋮ DP-MINIMAL VALUED FIELDS ⋮ Definable valuations induced by multiplicative subgroups and NIP fields ⋮ A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mathematical logic and model theory. A brief introduction
• Algebraic number fields elementarily determined by their absolute Galois group
• Characterization of fans and hereditarily pythagorean fields
• \(p\)-Henselian fields
• The Undecidability of Algebraic Rings and Fields
• Undecidability and Definability for the Theory of Global Fields
• Valued Fields
• Definability and decision problems in arithmetic

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