On positive theories of semigroup varieties and pseudovarieties

V. Yu. Popov

Fundamentalʹnaâ i prikladnaâ matematika, Tome 8 (2002) no. 2, pp. 631-635.

Résumé

Let $\mathcal P$ be a positive language, $\mathcal L\subseteq\mathcal P$, then $\mathcal L\mathfrak X=\mathcal L\mathfrak X\cap\mathfrak F$, where $\mathfrak X$ is a nonperiodic semigroup variety and $\mathfrak X\cap\mathfrak F$ is a finite trace of the variety $\mathfrak X$.

Bibliographie

[1] Peryazev N. A., Fridman E. I., “O pozitivnykh teoriyakh svobodnykh sistem mnogoobrazii algebr”, V Vsesoyuzn. konf. po matem. logike, Tezisy dokl., Novosibirsk, 1979, 122

[2] Vazhenin Yu. M., Rozenblat B. V., “Razreshimost pozitivnoi teorii svobodnoi schetnoporozhdennoi polugruppy”, Mat. sbornik, 116(158):1 (1981), 120–127 | MR | Zbl

[3] Rozenblat B. V., “Perestanovochnye mnogoobraziya polugrupp”, XVII Vsesoyuzn. algebr. konf., 2 chast. Tezisy dokl., Minskii gosudarstvennyi universitet, Minsk, 1983, 195–196

[4] Bokut L. A., “Algoritmicheskie problemy i teoremy vlozheniya: nekotorye otkrytye voprosy dlya kolets, grupp i polugrupp”, Izv. vyssh. uchebn. zaved. Matematika, 1982, no. 11, 3–11 | MR | Zbl

[5] Makanin G. S., “Problema razreshimosti uravnenii v svobodnoi polugruppe”, Mat. sbornik, 103(145):2 (1978), 147–237 | MR

[6] Durnev V. G., “O pozitivnoi teorii svobodnoi polugruppy”, Voprosy teorii grupp i polugrupp, Tula, 1972, 122–172 | MR

[7] Rozenblat B. V., “O pozitivnykh teoriyakh svobodnykh inversnykh polugrupp”, Sib. mat. zhurn., 20:6 (1979), 1282–1293 | MR | Zbl

[8] Romankov V. A., “O nerazreshimosti problemy endomorfnoi svodimosti v svobodnykh nilpotentnykh gruppakh i svobodnykh koltsakh”, Algebra i logika, 16:4 (1977), 457–471 | MR

[9] Vazhenin Yu. M., “Kriticheskie teorii nekotorykh klassov neassotsiativnykh kolets”, Algebra i logika, 28:5 (1989) | MR | Zbl

[10] Vazhenin Yu. M., Popov V. Yu., “Kriticheskie teorii svobodnykh nilpotentnykh kolets nekotorykh tipov”, Izv. vyssh. uchebn. zaved. Matematika, 1991, no. 3, 74–76 | MR | Zbl

[11] Popov V. Yu., “Razreshimye teorii iordanovykh kolets”, Tezisy Kh Vsesoyuznoi konferentsii po matematicheskoi logike, Alma-Ata, 1990, 134

[12] Popov V. Yu., “Razreshimye teorii alternativnykh kolets”, Tezisy Sovetsko-frantsuzskogo kollokviuma po teorii modelei, Karaganda, 1990, 41 | MR | Zbl

[13] Popov V. Yu., “O kriticheskikh teoriyakh nad-kommutativno-assotsiativnykh mnogoobrazii kolets”, Odinnadtsataya mezhrespublikanskaya konferentsiya po matematicheskoi logike, Sbornik tezisov, Kazan

[14] Vazhenin Yu. M., “Kriticheskie teorii”, Sib. mat. zhurn., 29:1 (1988), 23–31 | MR

[15] Romankov V. A., “Ob uravneniyakh v svobodnykh metabelevykh gruppakh”, Sib. mat. zhurn., 20:3 (1979), 671–673 | MR

[16] Durnev V. G., “O sistemakh uravnenii na svobodnykh nilpotentnykh gruppakh”, Voprosy teorii grupp i gomologicheskoi algebry, Yaroslavl, 1981, 66–69 | MR | Zbl

[17] Durnev V. G., “Ob uravneniyakh na svobodnykh polugruppakh i gruppakh”, Mat. zametki, 16:5 (1974), 717–724 | MR | Zbl

[18] Romankov V. A., “O nerazreshimosti problemy endomorfnoi svodimosti v svobodnykh nilpotentnykh gruppakh i v svobodnykh koltsakh”, Algebra i logika, 16:4 (1977), 457–471 | MR

[19] Romankov V. A., “O nekotorykh algoritmicheskikh voprosakh dlya razreshimykh grupp”, Tezisy 6 simpoziuma po teorii grupp, Kiev, 1978, 52

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

[21] Gurevich Yu. Sh., “Problema ravenstva slov dlya nekotorykh klassov polugrupp”, Algebra i logika, 5:5 (1966), 25–35 | MR | Zbl

[22] Keisler G., Chen Ch. Ch., Teoriya modelei, Mir, M., 1977 | MR

[23] Keisler H. J., “Limit ultraproducts”, J. Symb. Logic, 30 (1965), 212–234 | DOI | MR | Zbl

[24] Lyndon R. C., “Properties preserved under homomorphism”, Pacific J. Math., 9 (1959), 143–154 | MR | Zbl