EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
From MaRDI portal
Publication:5251371
DOI10.1017/jsl.2014.13zbMath1372.03074arXiv1307.1956OpenAlexW2101551746MaRDI QIDQ5251371
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
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