Literature Cited
M. I. Kargapolov, “Elementary theory of subgroups lattices,” Algebra Logika,1, No. 3, 46–53 (1962).
G. T. Kozlov, “Undecidability of the elementary theory of lattices of subgroups of finite Abelian p-groups,” Algebra Logika,9, No. 2, 167–171 (1970).
M. A. Taitslin, “Elementary theories of lattices of subgroups,” Algebra Logika,9, No. 4, 473–483 (1970).
L. N. Shevrin, “Elementary lattice properties of semigroups,” Sib. Mat. Zh.,7, No. 3, 664–684 (1966).
Yu. M. Vazhenin, “Elementary theories of subsemigroup lattices,” in: 3rd All-Union Conference on Mathematical Logic: Abstracts of Reports [in Russian], Novosibirsk (1974), pp. 24–25.
Yu. M. Vazhenin and E. B. Linetskii, “Elementary theory of lattices of subsemigroups of finite semilattices,” in: 7th All-Union Conference on Mathematical Logic: Abstracts of Reports [in Russian], Novosibirsk (1984), p. 18.
M. A. Taitslin, “Elementary theories of lattices of ideals in polynomial rings,” Algebra Logika,7, No. 2, 94–97 (1968).
Yu. L. Ershov, “New examples of undecidable theories,” Algebra Logika,5, No. 5, 37–47 (1966).
Z. A. Dulatova, “Undecidability of EAEAE-theories of lattices of subalgebras of Boolean algebras,” in: 7th All-Union Conference on Mathematical Logic: Abstracts of Reports [in Russian], Novosibirsk (1984), p. 62.
B. Bayaslagan and Yu. M. Vazhenin, “Decidability of the theory of degrees of semigroups,” in: 8th All-Union Conference on Mathematical Logic: Abstracts of Reports [in Russian], Moscow (1986), p. 12.
A. P. Zamyatin, “Prevarieties of semigroups whose elementary theory is decidable,” Algebra Logika,12, No. 4, 417–432 (1973).
Yu. L. Ershov, Problems in Decidability and Constructive Models [in Russian], Nauka, Moscow (1980), pp. 265–275.
Logic Notebook, Collection of Unsolved Problems in Mathematical Logic [in Russian], Siberian Branch, Academy of Sciences of the USSR (1986).
A. P. Zamyatin, “A non-Abelian variety of groups has an undecidable elementary theory,” Algebra Logika,17, No. 1, 20–27 (1978).
A. Clifford and G. Preston, The Algebraic Theory of Semigroups, Vol. I, Mathematical Surveys, No. 7, Am. Math. Soc., Providence, Rhode Island (1961).
H. Neumann, Varieties of Groups, Springer-Verlag, New York (1967).
E. A. Golubov and M. V. Sapir, “Finitely approximable varieties of semigroups,” Dokl. Akad. Nauk SSSR,247, No. 5, 1037–1041 (1979).
Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, “Elementary theories,” Usp. Mat. Mat. Nauk,20, No. 4, 37–108 (1965).
A. D. Taimanov, “Characteristics of axiomatizable classes of models,” Algebra Logika,1, No. 4, 5–31 (1962).
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, Vol. 31, No. 1, pp. 27–33, January–February, 1990.
Rights and permissions
About this article
Cite this article
Bassgalan, B. Decidability of elementary theories of lattices of subsemigroups. Sib Math J 31, 21–26 (1990). https://doi.org/10.1007/BF00971145
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00971145