Geodesic
On the finite axiomatizability of varieties of commutative unary algebras
Fundamentalʹnaâ i prikladnaâ matematika, Tome 14 (2008) no. 6, pp. 85-89 
V. K. Kartashov. On the finite axiomatizability of varieties of commutative unary algebras. Fundamentalʹnaâ i prikladnaâ matematika, Tome 14 (2008) no. 6, pp. 85-89. http://geodesic.mathdoc.fr/item/FPM_2008_14_6_a4/
@article{FPM_2008_14_6_a4,
     author = {V. K. Kartashov},
     title = {On the finite axiomatizability of varieties of commutative unary algebras},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {85--89},
     year = {2008},
     volume = {14},
     number = {6},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_2008_14_6_a4/}
}
TY  - JOUR
AU  - V. K. Kartashov
TI  - On the finite axiomatizability of varieties of commutative unary algebras
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2008
SP  - 85
EP  - 89
VL  - 14
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/FPM_2008_14_6_a4/
LA  - ru
ID  - FPM_2008_14_6_a4
ER  - 
%0 Journal Article
%A V. K. Kartashov
%T On the finite axiomatizability of varieties of commutative unary algebras
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2008
%P 85-89
%V 14
%N 6
%U http://geodesic.mathdoc.fr/item/FPM_2008_14_6_a4/
%G ru
%F FPM_2008_14_6_a4

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

In this paper, it is proved that every variety of commutative unary algebras of a finite signature has a finite basis of identities.

[1] Gorbunov V. A., Algebraicheskaya teoriya kvazimnogoobrazii., Nauchnaya kniga, Novosibirsk, 1999 | Zbl

[2] Kartashov V. K., “Kvazimnogoobraziya unarov”, Mat. zametki, 27:1 (1980), 7–20 | MR | Zbl

[3] Kartashov V. K., “Kvazimnogoobraziya unarov s konechnym chislom tsiklov”, Algebra i logika, 19:2 (1980), 173–193 | MR | Zbl

[4] Klifford A., Preston G., Algebraicheskaya teoriya polugrupp, T. 2, Mir, M., 1972 | Zbl

[5] Kurosh A. G., Lektsii po obschei algebre, Fizmatlit, M., 1962 | MR

[6] Maltsev A. I., “O nekotorykh voprosakh algebry i matematicheskoi logiki”, Mezhdunar. kongr. matematikov (Moskva, 1966), Mir, M., 1968, 217–231

[7] Maltsev A. I., Algebraicheskie sistemy, Nauka, M., 1970 | MR

[8] Smirnov D. M., “O regulyarno opredelimykh mnogoobraziyakh algebr”, Algebra i logika, 15:3 (1976), 331–342 | MR | Zbl

[9] Birkhoff G., “On the structure of abstract algebras”, Proc. Cambridge Philos. Soc., 31:4 (1935), 433–454 | DOI | Zbl

[10] Birkhoff G., “Universal algebra”, Proc. First Canadian Math. Congress (Montreal, 1945), Univ. Toronto Press, Toronto, 1946, 310–326 | MR | Zbl

[11] McKenzie R., “Equational bases for lattice theories”, Math. Scand., 27:1 (1970), 24–38 | MR | Zbl

[12] Tarski A., “Equational logic and equational theories of algebras”, Contrib. Math. Logic, Proc. Logic Colloq. (Hannover, 1966), North-Holland, Amsterdam, 1968, 275–288 | MR