Elementary properties of ordered abelian groups

DOI10.1090/TRANS2/046/09MaRDI QIDQ5567842zbMATH OpenOpenAlexFDO

Authors 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

algebraic logicmodel theory

Mathematics Subject Classification ID

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

Cited in

(15)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5567842)