|
|
Publications in Math-Net.Ru
-
The Embedding Theorem for Cantor Varieties
Algebra Logika, 40:3 (2001), 352–369
-
On the elementary equivalence of free algebras in Cantor
varieties
Algebra Logika, 38:2 (1999), 228–248
-
On elementary equivalence of free quasigroups
Fundam. Prikl. Mat., 5:3 (1999), 885–901
-
On finitely presented and free algebras of Cantor varieties
Sibirsk. Mat. Zh., 38:2 (1997), 450–462
-
Decidability of the theories of some infinite, finitely presented quasigroups
Izv. Vyssh. Uchebn. Zaved. Mat., 1992, no. 3, 74–79
-
Decidability of the elementary theories of some finitely
presented algebras
Algebra Logika, 30:4 (1991), 457–476
-
Elementary theories of finitely presented loops with the invertibility property
Diskr. Mat., 3:4 (1991), 79–90
-
On decidability of theories of finitely generated quasigroups in $R$-varieties of groups
Sibirsk. Mat. Zh., 32:3 (1991), 201–211
-
Decidability of the elementary theory of a finitely presented quasigroup
Mat. Zametki, 47:4 (1990), 138–146
-
Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities
Mat. Zametki, 45:5 (1989), 93–102
© , 2024