AN EXISTENTIAL ∅-DEFINITION OF IN

DOI10.1017/jsl.2014.27zbMath1353.03025arXiv1306.6760OpenAlexW2131023782MaRDI QIDQ5177889

Jochen Koenigsmann, Will Anscombe

Publication date: 6 March 2015

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

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

zbMATH Keywords

valuationsHenselian valued fieldsdefinable valuations

Mathematics Subject Classification ID

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

Related Items

Existential decidability for addition and divisibility in holomorphy subrings of global fields ⋮ On the quantifier complexity of definable canonical Henselian valuations ⋮ A definable Henselian valuation with high quantifier complexity ⋮ Definable Valuations Induced by Definable Subgroups ⋮ Recent progress on definability of Henselian valuations ⋮ Uniform definability of henselian valuation rings in the Macintyre language:

Cites Work

• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
• Algebraic number fields elementarily determined by their absolute Galois group