Критерий конструктивизируемости абелевой группы

Устанавливается критерий конструктивизируемости абелевой группы и на его основе доказывается, что для любого натурального числа $r\ge1$ существует главная вычислимая нумерация $\gamma_r$ класса $K_r$ всех конструктивных групп, ранги без кручения которых отличны от нуля и не превосходят числа $r$.