On decidability of theories of finitely generated quasigroups in R- varieties of groups

Equational classes, universal algebra in model theory (03C05) Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Loops, quasigroups (20N05)

Review text

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.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1177464)