Geodesic
About the element-subgroup theory of Abelian groups
The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 3, pp. 99-109

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{IIGUM_2011_4_3_a8,
     author = {V. I. Martyanov},
     title = {About the element-subgroup theory of {Abelian} groups},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {99--109},
     publisher = {mathdoc},
     volume = {4},
     number = {3},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a8/}
}
TY  - JOUR
AU  - V. I. Martyanov
TI  - About the element-subgroup theory of Abelian groups
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2011
SP  - 99
EP  - 109
VL  - 4
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a8/
LA  - ru
ID  - IIGUM_2011_4_3_a8
ER  - 
%0 Journal Article
%A V. I. Martyanov
%T About the element-subgroup theory of Abelian groups
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2011
%P 99-109
%V 4
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a8/
%G ru
%F IIGUM_2011_4_3_a8
V. I. Martyanov. About the element-subgroup theory of Abelian groups. The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 3, pp. 99-109. http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a8/