Two theorems on many-one degrees of recursively enumerable sets
Algebra i logika, Tome 11 (1972) no. 2, pp. 216-229.

Voir la notice de l'article provenant de la source Math-Net.Ru

Teоpeмa 1. Каждая нерекурсивная рекурсивно перечислимая тьюрингова степень содержит минимальную рекурсивно перечислимую $m$-степень. Теорема 2. Над каждой некреативной рекурсивно перечислимой $m$-степенью $a$ находится рекурсивно перечислимая $m$-степень такая, что для любой $m$-степени $c$ выполняется соотношение $c\leqslant b$.
@article{AL_1972_11_2_a7,
     author = {A. H. Lachlan},
     title = {Two theorems on many-one degrees of recursively enumerable sets},
     journal = {Algebra i logika},
     pages = {216--229},
     publisher = {mathdoc},
     volume = {11},
     number = {2},
     year = {1972},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AL_1972_11_2_a7/}
}
TY  - JOUR
AU  - A. H. Lachlan
TI  - Two theorems on many-one degrees of recursively enumerable sets
JO  - Algebra i logika
PY  - 1972
SP  - 216
EP  - 229
VL  - 11
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1972_11_2_a7/
LA  - en
ID  - AL_1972_11_2_a7
ER  - 
%0 Journal Article
%A A. H. Lachlan
%T Two theorems on many-one degrees of recursively enumerable sets
%J Algebra i logika
%D 1972
%P 216-229
%V 11
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1972_11_2_a7/
%G en
%F AL_1972_11_2_a7
A. H. Lachlan. Two theorems on many-one degrees of recursively enumerable sets. Algebra i logika, Tome 11 (1972) no. 2, pp. 216-229. http://geodesic.mathdoc.fr/item/AL_1972_11_2_a7/