Algorithmic problems in varieties of semigroups

1. 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).

2. 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.

   Google Scholar 

3. 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.

   Google Scholar 

4. A. I. Mal'tsev, "On homomorphisms on finite groups," Uch. Zap. Ivanovsk. Ped. Inst.,18, 49–60 (1958).

   Google Scholar 

5. M. A. Taitslin, "Algorithmic problems for commutative semigroups," Dokl. Akad. Nauk SSSR,178, No. 4, 786–789 (1968).

   Google Scholar 

6. L. Redei, Theorie der endlich erzeugbaren commutativen Halbgruppen (Hamburger Math. Einzelschriften41), Physica-Verlag, Würzburg (1963).

   Google Scholar 

7. I. L. Mel'nichuk, "Unsolvability of the problems of equality, divisibility in some varieties of semigroups," Algebra Logika,23, No. 4, 430–438 (1984).

   Google Scholar 

8. 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).

   Google Scholar 

9. A. Tarski, "Equational logic and equational theories of algebras," in: Contributions to Mathematical Logic, North-Holland, Amsterdam (1968), pp. 278–288.

   Google Scholar 

10. 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).

    Google Scholar 

11. G. Lallement, Semigroups and Combinatorial Applications, Wiley, New York (1979).

    Google Scholar 

12. M. V. Sapir, "Algorithmic problems in varieties of semigroups," Seventh All-Union Conference on Mathematical Logic, Novosibirsk (1984), pp. 160–161.

13. A. I. Mal'tsev, "On representations of infinite algebras," Mat. Sb.,13, No. 2, 263–286 (1943).

    Google Scholar 

14. H. Neumann, Varieties of Groups, Springer, Berlin (1967).

    Google Scholar 

15. P. Perkins, "Bases for equational theories of semigroups," J. Algebra,11, No. 2, 293–314 (1969).

    Google Scholar 

16. A. M. Slobodskoi, "Unsolvability of the universal theory of finite groups," Algebra Logika,20, No. 2, 207–230 (1981).

    Google Scholar 

17. L. A. Skornyakov, "Characterization of a category of polygons," Mat. Sb.,80, No. 4, 492–502 (1969).

    Google Scholar 

18. A. I. Zimin, "Semigroup varieties with finiteness conditions for finitely generated semigroups," Dep. at VINITI, 27.10.1980, No. 4519-80.

19. S. I. Kublanovskii, "Locally residually finite and locally representable varieties of associative rings and algebras," Dep. at VINITI, 14.12.1982, No. 6143-82.

Download references