Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
From MaRDI portal
Publication:2461190
DOI10.1016/j.apal.2007.07.004zbMath1146.03025MaRDI QIDQ2461190
Publication date: 27 November 2007
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2007.07.004
ordered abelian group; regular group; elimination of unbounded quantifiers; bounded quantifier; definable convex subgroup; Hahn product; poly-regular group
06F20: Ordered abelian groups, Riesz groups, ordered linear spaces
03C64: Model theory of ordered structures; o-minimality
03C10: Quantifier elimination, model completeness, and related topics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A model theoretic proof of Feferman's preservation theorem
- VALUED LINEAR SPACES
- The first order properties of products of algebraic systems
- Elementary Properties of Ordered Abelian Groups
- Expanded theory of ordered Abelian groups
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
- Infinitary formulas preserved under unions of models