Elementary properties of ordered abelian groups

DOI10.1090/trans2/046/09zbMath0178.31403OpenAlexW4248365883MaRDI QIDQ5567842

Yuri Gurevich

Publication date: 1965

Published in: Eleven Papers on Number Theory, Algebra and Functions of a Complex Variable (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/186613

zbMATH Keywords

model theoryalgebraic logic

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Mathematical logic and foundations (03-XX)

Related Items (13)

Corps équivalents à leur corps de séries ⋮ Computing on Lattice-Ordered Abelian Groups ⋮ Hyperfinite MV-algebras ⋮ A characterization of pseudofinite MV-algebras ⋮ The Theory of Ordered Abelian Groups does not have the Independence Property ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ A closedness theorem and applications in geometry of rational points over Henselian valued fields ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Corps et Anneaux de Rolle ⋮ Locally pure topological Abelian groups: Elementary invariants ⋮ Some model theory for almost real closed fields ⋮ Decidable fragments of first-order temporal logics ⋮ Undecidable L^t theories of topological abelian groups

This page was built for publication: Elementary properties of ordered abelian groups