AN EXISTENTIAL ∅-DEFINITION OF IN
From MaRDI portal
Publication:5177889
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
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