References
S.Burris and R.McKenzie,Decidability and Boolean Representations, Memoirs of the A.M.S. Vol. 32 No. 246 (1981).
L. Fuchs,Partially ordered Algebraic Systems Pergamon Press, N.Y., 1963.
Yu. S. Gurevich,Hereditary undecidability of a class of lattice-ordered Abelian groups. (Russian) Alg. i Logika Sem.6 (1967), 45–62.
A. M. W.Glass,The universal theory of lattice-ordered Abelian groups (preprint).
W. C. Holland andS. H. McCleary,Solvability of the word problem in free lattice-ordered groups Houston J. Math5 (1979), 99–105.
Author information
Authors and Affiliations
Additional information
Research supported by NSERC Grant A7256
Rights and permissions
About this article
Cite this article
Burris, S. A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups. Algebra Universalis 20, 400–401 (1985). https://doi.org/10.1007/BF01195146
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01195146