About the element-subgroup theory of Abelian groups

V. I. Martyanov

National Research Irkutsk State Technical University, 83, Lermontov St., Irkutsk, 664047

Abstract: The solvability of the theory of element-subgroup of Abelian torsion-free groups with universal quantifiers over the elements and arbitrary quantifiers over subgroups is proved.

Keywords: model theory, elementary theories decidability.

UDC: 510.57