On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups (Q1177464)

The author continues his work on the solvability of theories of finitely presented algebras [in 9th All-Union Conf. on Math. Logic (1988) p. 177] and proves the solvability of an elementary theory of an arbitrary finitely presented quasigroup \(G\) from any \(R\)-variety of quasigroups. The proof has two steps. In the first there is shown the following property: \((M=N\hbox{ in }G)\Longleftrightarrow \exists R(M\buildrel * \over\rightarrow R\wedge N\buildrel *\over\rightarrow R)\) and in the second, there is realized an imbedding of an elementary theory of a quasigroup \(G\) in a suitable theory of a free algebra of the same type as \(G\), but with supplementary restricted quantors.