|
Сибирский математический журнал, 1977, том 18, номер 3, страницы 570–579
(Mi smj6197)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Вычислимость некоторых классов конструктивных алгебр
В. П. Добрица
Аннотация:
В работе рассматривается вычислимость некоторых классов конструктивных алгебр. Определяется понятие строгой вычислимости класса. Доказано, что
1) класс конструктивных абелевых групп, ранг без кручения которых равен $n$ $(\ge0)$, строго вычислим, тем более вычислим;
2) класс конструктивных абелевых групп конечного ранга без кручения вычислим, но не строго вычислим;
3) класс всех конструктивных абелевых групп не вычислим.
Последние результаты следуют из более общих, которые установлены для классов конструктивных алгебр.
Статья поступила: 04.06.1975
Образец цитирования:
В. П. Добрица, “Вычислимость некоторых классов конструктивных алгебр”, Сиб. матем. журн., 18:3 (1977), 570–579; Siberian Math. J., 18:3 (1977), 406–413
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6197 https://www.mathnet.ru/rus/smj/v18/i3/p570
|
|