Literature cited
Lecture Notes [in Russian], Novosibirsk (1969).
M. I. Kargapolov, "On the elementary theory of lattices of subgroups of Abelian groups," Algebra i Logika,1, No. 3, 46–53 (1962).
Yu. L. Ershov, "New examples of undecidable theories," Algebra i Logika,5, No. 5, 37–47 (1966).
I. A. Lavrov, "The effective nonseparability of the set of identically true and finitely refutable formulas of certain elementary theories," Algebra i Logika,2, No. 1, 5–18 (1963).
G. T. Kozlov and A. I. Kokorin, "The elementary theory of Abelian torsion-free groups with a predicate, which distinguishes a subgroup," Algebra i Logika,8, No. 3, 320–334 (1969).
Additional information
Translated from Algebra i Logika, Vol. 9, No. 2, pp. 167–171, March–April, 1970.
Rights and permissions
About this article
Cite this article
Kozlov, G.T. The undecidability of the elementary theory of lattices of subgroups of finite Abelianp -groups. Algebr Logic 9, 104–107 (1970). https://doi.org/10.1007/BF02218979
Issue Date:
DOI: https://doi.org/10.1007/BF02218979