A non-Abelian variety of groups has an undecidable elementary theory A. P. Zamyatin OriginalPaper Pages: 13 - 17
A basis for the identities of the algebra of second-order matrices over a finite field Yu. N. Mal'tsevE. N. Kuz'min OriginalPaper Pages: 18 - 21