Expanded theory of ordered Abelian groups

DOI10.1016/0003-4843(77)90014-6MaRDI QIDQ4145760zbMATH OpenOpenAlexFDO

Authors Yuri Gurevich

Publication date 1977

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(77)90014-6

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Cited in

(7)

• Ordered groups
• Decidable fragments of first-order temporal logics
• Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
• Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems
• The Theory of Ordered Abelian Groups does not have the Independence Property
• The umbilical cord of finite model theory
• A uniform method for proving lower bounds on the computational complexity of logical theories

This page was built for publication: Expanded theory of ordered Abelian groups

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