Literature cited
T. Evans, “The word problem for abstract algebras,” J. Lond. Math. Soc.,26, No. 1, 64–71 (1951).
M. M. Glukhov and A. I. Mukhin, “Equations over quasigroups,” Sib. Mat. Zh.,18, No. 4, 755–764 (1977).
T. Evans, “On multiplicative systems defined by generators and relations. I. Normal form theorems,” Proc. Cambridge Philos. Soc.,47, No. 4, 637–649 (1951).
A. I. Mal'tsev, “Axiomatizable classes of locally free algebras of certain types,” Sib. Mat. Zh.,3, No. 5, 729–743 (1962).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 47, No. 4, pp. 138–146, April, 1990.
Rights and permissions
About this article
Cite this article
Shabunin, L.V. Decidability of the elementary theory of a finitely defined quasigroup. Mathematical Notes of the Academy of Sciences of the USSR 47, 408–414 (1990). https://doi.org/10.1007/BF01163826
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01163826