Вычислимость некоторых классов конструктивных алгебр

В работе рассматривается вычислимость некоторых классов конструктивных алгебр. Определяется понятие строгой вычислимости класса. Доказано, что
1) класс конструктивных абелевых групп, ранг без кручения которых равен $n$ $(\ge0)$, строго вычислим, тем более вычислим;
2) класс конструктивных абелевых групп конечного ранга без кручения вычислим, но не строго вычислим;
3) класс всех конструктивных абелевых групп не вычислим.
Последние результаты следуют из более общих, которые установлены для классов конструктивных алгебр.