A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups

DOI10.1007/BF01195146zbMath0575.06017MaRDI QIDQ1064333

Stanley N. Burris

Publication date: 1985

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

atomic Boolean algebradivisible Archimedean lattice-ordered Abelian groupshereditarily undecidable first-order lattice theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Undecidability and degrees of sets of sentences (03D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Free lattices, projective lattices, word problems (06B25)

Related Items (1)

The complexity of the word problem for abelian l-groups

Cites Work

• Unnamed Item
• Unnamed Item
• Decidability and Boolean representations

This page was built for publication: A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups