Quantifier elimination in ordered abelian groups
From MaRDI portal
Publication:763703
DOI10.1142/S1793744211000473zbMath1246.03059arXiv1110.3200OpenAlexW2027028526MaRDI QIDQ763703
Raf Cluckers, Immanuel Halupczok
Publication date: 29 March 2012
Published in: Confluentes Mathematici (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1110.3200
Model-theoretic algebra (03C60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (11)
Abelian \(C\)-minimal valued groups ⋮ Tame topology over definable uniform structures ⋮ Distality in valued fields and related structures ⋮ A definable Henselian valuation with high quantifier complexity ⋮ A closedness theorem and applications in geometry of rational points over Henselian valued fields ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK ⋮ DP-MINIMAL VALUED FIELDS ⋮ Strongly dependent ordered abelian groups and Henselian fields ⋮ A closedness theorem over Henselian fields with analytic structure and its applications ⋮ Uniform definability of henselian valuation rings in the Macintyre language:
This page was built for publication: Quantifier elimination in ordered abelian groups
