Неконструктивизируемость редуцированной части сильно конструктивной абелевой группы без кручения

Получен результат, указанный в заглавии. При этом дана характеристика $\Sigma_2^0$-отношений эквивалентностей, определенных на множестве натуральных чисел.