|
Алгебра и логика, 1984, том 23, номер 3, страницы 319–335
(Mi al1864)
|
|
|
|
Связь между конструктивизируемостью и сильной конструктивизируемостью для различных классов абелевых групп
Н. Г. Хисамиев
Аннотация:
Выяснено соотношение между конструктивизируемыми и сильно конструктивизируемыми группами в классах абелевых групп с полными разрешимыми теориями. Доказано, что если редуцированная часть $C$ сильно конструктивизируемой абелевой $p$-группы имеет ульмов тип $\tau(C)=2$, то группа $C$ конструктивизируема. Для произвольного простого числа $p$ построена конструктивизируемая абелева группа без кручения, которая не имеет конструктивизации с рекурсивно-перечислимым $p$-базисом.
Поступило: 22.11.1983
Образец цитирования:
Н. Г. Хисамиев, “Связь между конструктивизируемостью и сильной конструктивизируемостью для различных классов абелевых групп”, Алгебра и логика, 23:3 (1984), 319–335
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1864 https://www.mathnet.ru/rus/al/v23/i3/p319
|
Статистика просмотров: |
Страница аннотации: | 55 | PDF полного текста: | 19 |
|