Literature cited
L. A. Bokut', "Algorithmic problems and questions of embedding: some open questions for rings, groups, and semigroups," Izv. Vyssh. Uchebn. Zaved., Mat., No. 11, 3–11 (1982).
R. M. Remeslennikov and V. A. Roman'kov, "Model-theoretic and algorithmic questions in group theory," in: Itogi Nauki i Tekhniki. Algebra. Topologiya. Geometriya,23, VINITI, Moscow (1982), pp. 3–79.
S. I. Adyan and G. S. Makanin, "Investigations in algorithmic questions of algebra," in: Trudy Mat. Inst. Akad. Nauk SSSR, Vol. 168, Nauka, Moscow (1984), pp. 197–217.
A. I. Mal'tsev, "On homomorphisms on finite groups," Uch. Zap. Ivanovsk. Ped. Inst.,18, 49–60 (1958).
M. A. Taitslin, "Algorithmic problems for commutative semigroups," Dokl. Akad. Nauk SSSR,178, No. 4, 786–789 (1968).
L. Redei, Theorie der endlich erzeugbaren commutativen Halbgruppen (Hamburger Math. Einzelschriften41), Physica-Verlag, Würzburg (1963).
I. L. Mel'nichuk, "Unsolvability of the problems of equality, divisibility in some varieties of semigroups," Algebra Logika,23, No. 4, 430–438 (1984).
I. L. Mel'nichuk, M. V. Sapir, and O. G. Kharlampovich, "The equality problem in varieties of semigroups, rings and Lie algebras," Sib. Mat. Zh.,27, No. 6, 144–156 (1986).
A. Tarski, "Equational logic and equational theories of algebras," in: Contributions to Mathematical Logic, North-Holland, Amsterdam (1968), pp. 278–288.
M. V. Sapir, "Problems of Burnside type and finite basedness in varieties of semigroups," Izv. Akad. Nauk SSSR, Ser. Mat.,51, No. 2, 319–340 (1987).
G. Lallement, Semigroups and Combinatorial Applications, Wiley, New York (1979).
M. V. Sapir, "Algorithmic problems in varieties of semigroups," Seventh All-Union Conference on Mathematical Logic, Novosibirsk (1984), pp. 160–161.
A. I. Mal'tsev, "On representations of infinite algebras," Mat. Sb.,13, No. 2, 263–286 (1943).
H. Neumann, Varieties of Groups, Springer, Berlin (1967).
P. Perkins, "Bases for equational theories of semigroups," J. Algebra,11, No. 2, 293–314 (1969).
A. M. Slobodskoi, "Unsolvability of the universal theory of finite groups," Algebra Logika,20, No. 2, 207–230 (1981).
L. A. Skornyakov, "Characterization of a category of polygons," Mat. Sb.,80, No. 4, 492–502 (1969).
A. I. Zimin, "Semigroup varieties with finiteness conditions for finitely generated semigroups," Dep. at VINITI, 27.10.1980, No. 4519-80.
S. I. Kublanovskii, "Locally residually finite and locally representable varieties of associative rings and algebras," Dep. at VINITI, 14.12.1982, No. 6143-82.
Additional information
Translated from Algebra i Logika, Vol. 27, No. 4, pp. 440–463, July–August, 1988.
Rights and permissions
About this article
Cite this article
Sapir, M.V. Algorithmic problems in varieties of semigroups. Algebra and Logic 27, 275–292 (1988). https://doi.org/10.1007/BF01978400
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01978400