Undecidability of the theory of lattice-orderable groups

zbMath0408.03010MaRDI QIDQ1258295

Wojciech Buszkowski

Publication date: 1979

Published in: Functiones et Approximatio. Commentarii Mathematici (Search for Journal in Brave)

zbMATH Keywords

Lattice-Orderable Groups; Undecidable Theory

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

20F60: Ordered groups (group-theoretic aspects)

Related Items

Model-theoretic and algorithmic questions in group theory