Доказана разрешимость элементно-подгрупповой теории абелевых групп без кручения с универсальными кванторами по элементам и произвольными кванторами по подгруппам.

1. Кокорин А. И. Вопросы разрешимости расширенных теорий / А. И. Кокорин, А. Г. Пинус // Успехи мат. наук. – М., 1978. – № 3. – С. 25–56.

2. Корбут А. А. Дискретное программирование / А. А. Корбут, Ю. Ю. Финкельщтейн. – М. : Наука, 1969. – 245 с.

3. Мальцев А. И. Алгебраические системы / А. И. Мальцев. – М. : Наука, 1967. – 324 с.

4. Мартьянов В. И. О теории абелевых групп с предикатами, выделяющими подгруппы, и операциями эндоморфизмов / В. И. Мартьянов // Алгебра и логика. – 1975. – № 5. – С. 536–542.

5. Робинсон А. Введение в теорию моделей и метаматематику алгебры / А. Робинсон. – М. : Наука, 1967. – 287 с.

6. Фукс Л. Бесконечные абелевы группы / Л. Фукс. – М. : Мир, 1977. – Т. 2. – 415 с.