On equational theories of classes of nonassociative rings (Q2386998)

The paper contains a single Theorem: There exists a finitely based variety of nonassociative rings with undecidable equational theory such that the equational theory of the class of all of its finite rings is also undecidable. The proof is based on the interpretation of the functioning of the two-tape Minsky machine [\textit{M. L. Minsky}, Ann. Math. (2) 74, 437--455 (1961; Zbl 0105.00802)]. For a description of the method and review of related results, see [\textit{O. G. Kharlampovich} and \textit{M. V. Sapir}, Int. J. Algebra Comput. 5, 379--602 (1995; Zbl 0837.08002)].