|
Алгебра и логика, 1972, том 11, номер 2, страницы 216–229
(Mi al1336)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Two theorems on many-one degrees of recursively enumerable sets
A. H. Lachlan
Аннотация:
Teоpeмa 1. Каждая нерекурсивная рекурсивно перечислимая
тьюрингова степень содержит минимальную рекурсивно перечислимую
$m$-степень.
Теорема 2. Над каждой некреативной рекурсивно перечислимой $m$-степенью $a$ находится
рекурсивно перечислимая $m$-степень такая, что для
любой $m$-степени $c<a$
выполняется соотношение $c\leqslant b$.
Поступило: 23.02.1972
Образец цитирования:
A. H. Lachlan, “Two theorems on many-one degrees of recursively enumerable sets”, Алгебра и логика, 11:2 (1972), 216–229
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1336 https://www.mathnet.ru/rus/al/v11/i2/p216
|
Статистика просмотров: |
Страница аннотации: | 66 | PDF полного текста: | 50 |
|