Geodesic
On the decidability of equational theories of varieties of rings
Matematičeskie zametki, Tome 63 (1998) no. 6, pp. 873-881 
V. Yu. Popov. On the decidability of equational theories of varieties of rings. Matematičeskie zametki, Tome 63 (1998) no. 6, pp. 873-881. http://geodesic.mathdoc.fr/item/MZM_1998_63_6_a8/
@article{MZM_1998_63_6_a8,
     author = {V. Yu. Popov},
     title = {On the decidability of equational theories of varieties of rings},
     journal = {Matemati\v{c}eskie zametki},
     pages = {873--881},
     year = {1998},
     volume = {63},
     number = {6},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1998_63_6_a8/}
}
TY  - JOUR
AU  - V. Yu. Popov
TI  - On the decidability of equational theories of varieties of rings
JO  - Matematičeskie zametki
PY  - 1998
SP  - 873
EP  - 881
VL  - 63
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/MZM_1998_63_6_a8/
LA  - ru
ID  - MZM_1998_63_6_a8
ER  - 
%0 Journal Article
%A V. Yu. Popov
%T On the decidability of equational theories of varieties of rings
%J Matematičeskie zametki
%D 1998
%P 873-881
%V 63
%N 6
%U http://geodesic.mathdoc.fr/item/MZM_1998_63_6_a8/
%G ru
%F MZM_1998_63_6_a8

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

A result illustrating the complexity of describing the varieties of rings with undecidable equational theory is obtained.

[1] Maltsev A. I., “Tozhdestvennye sootnosheniya na mnogoobraziyakh kvazigrupp”, Matem. sb., 69:1 (1966), 3–12 | Zbl

[2] Kourovskaya tetrad, 10-e izd., Novosibirsk, 1986

[3] Murskii V. L., “Neskolko primerov mnogoobrazii polugrupp”, Matem. zametki, 3:6 (1968), 663–670 | MR | Zbl

[4] Kleiman Yu. G., “O tozhdestvakh v gruppakh”, Tr. MMO, 44, URSS, M., 1982, 62–108 | MR | Zbl

[5] Popov V. Yu., “Ekvatsionalnye teorii mnogoobrazii metabelevykh i kommutativnykh kolets”, Algebra i logika, 34:3 (1995), 347–361 | MR | Zbl

[6] Vazhenin Yu. M., “Algoritmicheskie problemy i ierarkhii yazykov pervogo poryadka”, Algebra i logika, 26:4 (1987), 419–434 | MR

[7] Zhukov A. I., “Privedennye sistemy opredelyayuschikh sootnoshenii v neassotsiativnykh algebrakh”, Matem. sb., 27:2 (1950), 267–280 | MR