Literature cited
A. Robinson, Introduction to the Theory of Models and Metamathematical Algebra [Russian translation], Moscow (1967).
M. I. Kargapolov, “The elementary theory of Abelian groups,” Algebra i Logika,1, No. 6, 26–36 (1963).
Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, “Elementary theory,” Ukrainsk. Matem. Zh.,20, No. 4 (124), 37–108 (1965).
A. G. Kurosh, The Theory of Groups [in Russian], Moscow (1967).
A. I. Kokorin and N. G. Khisamiev, “The elementary classification of structurally ordered Abelian groups with a finite number of threads,” Algebra i Logika,5, No. 1, 41–50 (1966).
A. I. Kokorin and G. T. Kozlov, “The extension of elementary and universal theory of lattice ordered Abelian groups with a finite number of threads,” Algebra i Logika,7, No. 1, 91–103 (1968).
A. Robinson, “Completeness and persistence in the theory of models,” Z. Math. Log. Grund. Math.,2, 15–26 (1956).
W. Szmielew, “Elementary properties of Abelian groups,” Fund. Math.,41, No. 2, 201–271 (1955).
Additional information
Translated from Algebra i Logika, Vol. 8, No. 3, pp. 320–334, May–June, 1969.
Rights and permissions
About this article
Cite this article
Kozlov, G.T., Kokorin, A.I. Elementary theory of abelian groups without torsion, with a predicate selecting a subgroup. Algebr Logic 8, 182–190 (1969). https://doi.org/10.1007/BF02306692
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02306692