Example of a variety of solvable alternative algebras over a field of characteristic 2 having no finite basis of identities Yu. A. Medvedev OriginalPaper Pages: 191 - 201
Example of anω 1-categorical complete finitely axiomatizable theory M. G. Peretyat'kin OriginalPaper Pages: 202 - 229