Literature Cited
G. T. Kozlov and A. I. Kokorin, "Elementary theory of torsion-free Abelian groups with predicates distinguishing a subgroup," Algebra i Logika,8, No. 3, 320–334 (1969).
Yu. L. Ershov, "On the elementary theory of maximal normalized fields," Algebra i Logika,4, No. 3, 31–70 (1965).
L. Fuchs, Infinite Abelian Groups, Academic Press, New York (1970).
Additional information
Translated from Algebra i Logika, Vol. 14, No. 5, pp. 533–535, September–October, 1975.
Rights and permissions
About this article
Cite this article
Kozlov, G.T., Kokorin, A.I. Proof of a lemma on model completeness. Algebra and Logic 14, 328–330 (1975). https://doi.org/10.1007/BF01668810
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01668810