Publication:5184895
From MaRDI portal
zbMath0561.03020MaRDI QIDQ5184895
Publication date: 1984
03C60: Model-theoretic algebra
03C65: Models of other mathematical theories
06F20: Ordered abelian groups, Riesz groups, ordered linear spaces
Related Items
A closedness theorem and applications in geometry of rational points over Henselian valued fields, Strongly dependent ordered abelian groups and Henselian fields, Elimination of unbounded quantifiers for some poly-regular groups of infinite rank