Publication:4168953
From MaRDI portal
zbMath0387.06011MaRDI QIDQ4168953
W. Charles Holland, Stephen H. McCleary
Publication date: 1979
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
06F15: Ordered groups
03D40: Word problems, etc. in computability and recursion theory
Related Items
The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras), Free lattice-ordered groups, Proof theory for lattice-ordered groups, Varieties of lattice-ordered algebras, Integrally closed residuated lattices, Sublattice subgroups of finitely presented lattice-ordered groups., Ordered groups, Model-theoretic and algorithmic questions in group theory, A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups, The word problem in free normal valued lattice-ordered groups: A solution and practical shortcuts, Representations of free lattice-ordered groups, Generalized MV-algebras, From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again, Ordering groups and validity in lattice-ordered groups, Time warps, from algebra to algorithms, Automorphism groups of totally ordered sets: A retrospective survey, W. Charles Holland, 75th birthday