Связь между конструктивизируемостью и сильной конструктивизируемостью для различных классов абелевых групп

Выяснено соотношение между конструктивизируемыми и сильно конструктивизируемыми группами в классах абелевых групп с полными разрешимыми теориями. Доказано, что если редуцированная часть $C$ сильно конструктивизируемой абелевой $p$-группы имеет ульмов тип $\tau(C)=2$, то группа $C$ конструктивизируема. Для произвольного простого числа $p$ построена конструктивизируемая абелева группа без кручения, которая не имеет конструктивизации с рекурсивно-перечислимым $p$-базисом.