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 GroupsUndecidable Theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Ordered groups (group-theoretic aspects) (20F60)

Related Items (1)

Model-theoretic and algorithmic questions in group theory

This page was built for publication: Undecidability of the theory of lattice-orderable groups