Конструктивные абелевы $p$-группы

Доказана следующая теорема. Пусть счетная абелева $p$-группа $A$ не является прямой суммой циклических и квазициклических $p$-групп. Группа $A$ (сильно) конструктивизируема тогда и только тогда, когда ее подгруппа $A^1$, состоящая из элементов бесконечной высоты, ($\varnothing^{(1)}$-) $\varnothing^{(2)}$-конструктивизируема, а фактор-группа $A/A^1$ (сильно) конструктивизируема. На основе сформулированной теоремы для абелевой $p$-группы $A$, ульмов тип редуцированной части которой равен $n<\omega$, получены критерий существования (сильной) конструктивизации группы $A$, а также следующие результаты: 1) если $n>1$ и группа $A$ (сильно) конструктивизируема, то фактор-группа $A/A^s$, $s<n$, также (сильно) конструктивизируема; 2) конечная прямая степень группы $A$ (сильно) конструктивизируема тогда и только тогда, когда $A$ (сильно) конструктивизируема.
Библиогр. 27.