|
Bulletin of Irkutsk State University. Series Mathematics, 2011, Volume 4, Issue 3, Pages 99–109
(Mi iigum120)
|
|
|
|
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.
Citation:
V. I. Martyanov, “About the element-subgroup theory of Abelian groups”, Bulletin of Irkutsk State University. Series Mathematics, 4:3 (2011), 99–109
Linking options:
https://www.mathnet.ru/eng/iigum120 https://www.mathnet.ru/eng/iigum/v4/i3/p99
|
|