scientific article; zbMATH DE number 3601634
From MaRDI portal
Publication:4168953
zbMath0387.06011MaRDI QIDQ4168953
W. Charles Holland, Stephen H. McCleary
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Ordered groups (06F15) Word problems, etc. in computability and recursion theory (03D40)
Related Items (18)
From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again ⋮ Integrally closed residuated lattices ⋮ Proof theory for lattice-ordered groups ⋮ Sublattice subgroups of finitely presented lattice-ordered groups. ⋮ The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras) ⋮ Deciding Equations in the Time Warp Algebra ⋮ The word problem in free normal valued lattice-ordered groups: A solution and practical shortcuts ⋮ Time warps, from algebra to algorithms ⋮ Free lattice-ordered groups ⋮ Automorphism groups of totally ordered sets: A retrospective survey ⋮ W. Charles Holland, 75th birthday ⋮ Generalized MV-algebras ⋮ Ordering groups and validity in lattice-ordered groups ⋮ Varieties of lattice-ordered algebras ⋮ 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 ⋮ Representations of free lattice-ordered groups
This page was built for publication:
