journal.isu.ru

Начальная страница

Конечная страница

УДК

Раздел
     

Файл
Скачать Изменить файл

Название RU

Авторы RU

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

Ключевые слова RU

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

Название EN

Авторы EN

Аннотация EN
<p>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.</p>

Ключевые слова EN

Литература EN