Existential equivalence of ordered abelian groups with parameters

DOI10.1007/BF01651327zbMath0702.03013OpenAlexW1974720115MaRDI QIDQ914661

Volker Weispfenning

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01651327

zbMATH Keywords

pure subgroupsexistential equivalence

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (7)

Universally generic finitely generated ordered Abelian groups ⋮ First order theory of cyclically ordered groups ⋮ On the quantifier complexity of definable canonical Henselian valuations ⋮ A definable Henselian valuation with high quantifier complexity ⋮ Some model-theoretic correspondences between dimension groups and AF algebras ⋮ Nonnegative solvability of linear equations in certain ordered rings ⋮ Diophantine problems over tamely ramified fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Groupes et anneaux reticules
• Existentially Complete Abelian Lattice-Ordered Groups
• On the elementary theory of Hensel fields
• Generalized Archimedean Groups

This page was built for publication: Existential equivalence of ordered abelian groups with parameters