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 algebra; divisible Archimedean lattice-ordered Abelian groups; hereditarily undecidable first-order lattice theory

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03D35: Undecidability and degrees of sets of sentences

06F20: Ordered abelian groups, Riesz groups, ordered linear spaces

06B25: Free lattices, projective lattices, word problems

Related Items

The complexity of the word problem for abelian l-groups

Cites Work

• Decidability and Boolean representations
• Unnamed Item
• Unnamed Item