Free abelian lattice-ordered groups

DOI10.1016/j.apal.2004.10.017zbMath1066.06010OpenAlexW2026550138MaRDI QIDQ556825

Françoise Point, A. M. W. Glass, Angus J. Macintyre

Publication date: 23 June 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.10.017

zbMATH Keywords

decidabilityelementary equivalencefree abelian lattice-ordered groups

Mathematics Subject Classification ID

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

Related Items

Order representability in groups and vector spaces ⋮ A Note on Representable Group Topologies ⋮ Finitely Presented Abelian Lattice-Ordered Groups ⋮ Free generating sets of lattice-ordered abelian groups ⋮ Erratum to: ``Free abelian lattice-ordered groups ⋮ On free MV algebras and a problem of Tarski ⋮ A survey on the mathematical foundations of axiomatic entropy: representability and orderings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory
• Free Modular Lattices
• Duality Theorems for Finitely Generated Vector Lattices
• Free Vector Lattices
• Undecidability of Some Topological Theories
• Elementary properties of Abelian groups