Об элементно-подгрупповой теории абелевых групп
| Авторы: | В. И. Мартьянов |
| Аннотация: | Доказана разрешимость элементно-подгрупповой теории абелевых групп без кручения с универсальными кванторами по элементам и произвольными кванторами по подгруппам. |
| Ключевые слова: | теория моделей, разрешимость элементарных теорий |
| УДК: | 510.57 |
| Литература: |
1. Кокорин А. И. Вопросы разрешимости расширенных теорий / А. И. Кокорин, А. Г. Пинус // Успехи мат. наук. – М., 1978. – № 3. – С. 25–56. 2. Корбут А. А. Дискретное программирование / А. А. Корбут, Ю. Ю. Финкельщтейн. – М. : Наука, 1969. – 245 с. 3. Мальцев А. И. Алгебраические системы / А. И. Мальцев. – М. : Наука, 1967. – 324 с. 4. Мартьянов В. И. О теории абелевых групп с предикатами, выделяющими подгруппы, и операциями эндоморфизмов / В. И. Мартьянов // Алгебра и логика. – 1975. – № 5. – С. 536–542. 5. Робинсон А. Введение в теорию моделей и метаматематику алгебры / А. Робинсон. – М. : Наука, 1967. – 287 с. 6. Фукс Л. Бесконечные абелевы группы / Л. Фукс. – М. : Мир, 1977. – Т. 2. – 415 с. |