×

zbMATH — the first resource for mathematics

Solvability of the word problem in free lattice-ordered groups. (English) Zbl 0387.06011

MSC:
06F15 Ordered groups
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03D40 Word problems, etc. in computability and recursion theory
PDF BibTeX XML Cite