A definable Henselian valuation with high quantifier complexity
From MaRDI portal
Publication:2947241
DOI10.1002/malq.201500024zbMath1372.03076arXiv1504.01871OpenAlexW1729221454WikidataQ59896629 ScholiaQ59896629MaRDI QIDQ2947241
Immanuel Halupczok, Franziska Jahnke
Publication date: 22 September 2015
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1504.01871
Model-theoretic algebra (03C60) Interpolation, preservation, definability (03C40) Model theory of fields (12L12) Valued fields (12J10)
Related Items
Cites Work
- Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
- Quantifier elimination in ordered abelian groups
- Existential equivalence of ordered abelian groups with parameters
- On the quantifier complexity of definable canonical Henselian valuations
- Algebraic Patching
- On places of algebraic function fields.
- AN EXISTENTIAL ∅-DEFINITION OF IN
- DEFINABLE HENSELIAN VALUATIONS
- EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
- Definable non-divisible Henselian valuations
- Uniform definability of henselian valuation rings in the Macintyre language: