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

Доказана рекурсивность некоторой базисной подгруппы в сильно конструктивной абелевой $p$-группе (теорема $1$). Получен критерий сильной конструктивизируемости абелевых $p$-групп (теорема $2$). В качестве применения этого критерия доказана сильная конструктивизируемость редуцированной части $C$ в сильно конструктивизируемой абелевой $p$-группе $A$ такой, что $A/C$ имеет конечный ранг (теорема $3$). Показано, что теорема $1$ не переносится на конструктивные абелевы $p$-группы, а в теореме $3$ нельзя отбросить требование конечности ранга.