Geodesic
On free expansions and algorithmic problems in $R$-varieties of universal algebras
Sbornik. Mathematics, Tome 14 (1971) no. 3, pp. 297-328

Voir la notice de l'article provenant de la source Math-Net.Ru

A class of varieties of universal algebras is pointed out (and described by systems of quasi-identities) in which the algorithmic problems of word identity, isomorphism, and occurrence are definitely decidable and in which, as well, theorems on free algebras and free products of algebras hold which are analogous to the theorems of Nielsen–Schreier and Kurosh and certain corollaries of Grushko's grouptheoretic theorem. Bibliography: 17 titles. 
@article{SM_1971_14_3_a0,
     author = {M. M. Glukhov},
     title = {On free expansions and algorithmic problems in $R$-varieties of universal algebras},
     journal = {Sbornik. Mathematics},
     pages = {297--328},
     publisher = {mathdoc},
     volume = {14},
     number = {3},
     year = {1971},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SM_1971_14_3_a0/}
}
TY  - JOUR
AU  - M. M. Glukhov
TI  - On free expansions and algorithmic problems in $R$-varieties of universal algebras
JO  - Sbornik. Mathematics
PY  - 1971
SP  - 297
EP  - 328
VL  - 14
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SM_1971_14_3_a0/
LA  - en
ID  - SM_1971_14_3_a0
ER  - 
%0 Journal Article
%A M. M. Glukhov
%T On free expansions and algorithmic problems in $R$-varieties of universal algebras
%J Sbornik. Mathematics
%D 1971
%P 297-328
%V 14
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SM_1971_14_3_a0/
%G en
%F SM_1971_14_3_a0
M. M. Glukhov. On free expansions and algorithmic problems in $R$-varieties of universal algebras. Sbornik. Mathematics, Tome 14 (1971) no. 3, pp. 297-328. http://geodesic.mathdoc.fr/item/SM_1971_14_3_a0/