List of issues > Series «Mathematics». 2011. Vol. 3
About the element-subgroup theory of Abelian groups
The solvability of the theory of element-subgroup of Abelian torsionfree groups with universal quantifiers over the elements and arbitrary quantifiers over subgroups is proved.
1. Кокорин А. И. Вопросы разрешимости расширенных теорий / А. И. Кокорин, А. Г. Пинус // Успехи мат. наук. – М., 1978. – № 3. – С. 25–56.
2. Корбут А. А. Дискретное программирование / А. А. Корбут, Ю. Ю. Финкельщтейн. – М. : Наука, 1969. – 245 с.
3. Мальцев А. И. Алгебраические системы / А. И. Мальцев. – М. : Наука, 1967. – 324 с.
4. Мартьянов В. И. О теории абелевых групп с предикатами, выделяющими подгруппы, и операциями эндоморфизмов / В. И. Мартьянов // Алгебра и логика. – 1975. – № 5. – С. 536–542.
5. Робинсон А. Введение в теорию моделей и метаматематику алгебры / А. Робинсон. – М. : Наука, 1967. – 287 с.
6. Фукс Л. Бесконечные абелевы группы / Л. Фукс. – М. : Мир, 1977. – Т. 2. – 415 с.