The decision problem for equational bases of algebras

This publication has 9 references indexed in Scilit:

• On the structure of the lattice of equational classes ℒ (τ)
  Algebra universalis, 1971
• Unsolvable problems for equational theories.
  Notre Dame Journal of Formal Logic, 1967
• Word Problems and Recursively Enumerable Degrees of Unsolvability. A Sequel on Finitely Presented Groups
  Annals of Mathematics, 1966
• Equationally Complete Rings and Relation Algebras
  Indagationes Mathematicae, 1956
• The number of equationally complete classes of equations
  Indagationes Mathematicae, 1955
• Equational completeness of abstract algebras
  Indagationes Mathematicae, 1955
• Certain Simple, Unsolvable Problems of Group Theory. I1)1)Unless otherwise indicated, the results and proofs of this and subsequent related papers are as given (in somewhat more detail) in Several simple unsolvable problems of group theory related to the word problem, a doctoral dissertation accepted by Princeton University in April, 1952. The proof of the unsolvability of the quasi-MAGNUS problem was presented to a meeting of The Association for Symbolic Logic, April 28, 1951. (Abstract, Journal of Symbolic Logic, 16, 237.)Our thanks are due to Professors Alonzo Church and Roger Lyndon for their constructive suggestions regarding this dissertation; to Professor Wilhelm Magnus, for stimulating discussions regarding possible extensions.
  Indagationes Mathematicae, 1954
• The word problem for semigroups with two generators
  The Journal of Symbolic Logic, 1949
• Recursive Unsolvability of a problem of Thue
  The Journal of Symbolic Logic, 1947