Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
From MaRDI portal
Publication:5293194
DOI10.1002/malq.200610042zbMath1120.03021OpenAlexW2139010598MaRDI QIDQ5293194
Publication date: 26 June 2007
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610042
Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (4)
On some definable sets over fields with analytic structure ⋮ Algebraic properties of separated power series ⋮ Strictly convergent analytic structures ⋮ Fields with analytic structure
Cites Work
This page was built for publication: Quantifier elimination for the theory of algebraically closed valued fields with analytic structure