Expanded theory of ordered Abelian groups
From MaRDI portal
Publication:4145760
DOI10.1016/0003-4843(77)90014-6zbMath0368.06016OpenAlexW2095366669MaRDI QIDQ4145760
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
Decidability of theories and sets of sentences (03B25) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (6)
The Theory of Ordered Abelian Groups does not have the Independence Property ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems ⋮ Elimination of unbounded quantifiers for some poly-regular groups of infinite rank ⋮ Ordered groups ⋮ Decidable fragments of first-order temporal logics
This page was built for publication: Expanded theory of ordered Abelian groups
