EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS

DOI10.1017/jsl.2014.13zbMath1372.03074arXiv1307.1956OpenAlexW2101551746MaRDI QIDQ5251371

Arno Fehm

Publication date: 20 May 2015

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

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

zbMATH Keywords

finite fieldsHenselian valuationpseudo-algebraically closed fieldsexistential definability

Mathematics Subject Classification ID

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

Related Items (6)

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
• Subfields of ample fields. Rational maps and definability
• The elementary theory of finite fields
• Diophantine Problems Over Local Fields I

This page was built for publication: EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS