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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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},
     year = {2011},
     volume = {4},
     number = {3},
     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
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
%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/

[1] A. I. Kokorin, A. G. Pinus, “Voprosy razreshimosti rasshirennykh teorii”, Uspekhi mat. nauk, 1978, no. 3, 25–56 | MR

[2] A. A. Korbut, Yu. Yu. Finkelshtein, Diskretnoe programmirovanie, Nauka, M., 1969, 245 pp. | MR | Zbl

[3] A. I. Maltsev, Algebraicheskie sistemy, Nauka, M., 1967, 324 pp.

[4] V. I. Martyanov, “O teorii abelevykh grupp s predikatami, vydelyayuschimi podgruppy, i operatsiyami endomorfizmov”, Algebra i logika, 1975, no. 5, 536–542

[5] A. Robinson, Vvedenie v teoriyu modelei i metamatematiku algebry, Nauka, M., 1967, 287 pp. | MR | Zbl

[6] L. Fuks, Beskonechnye abelevy gruppy, v. 2, Mir, M., 1977, 415 pp.