Аннотация:
Teоpeмa 1. Каждая нерекурсивная рекурсивно перечислимая
тьюрингова степень содержит минимальную рекурсивно перечислимую
$m$-степень.
Теорема 2. Над каждой некреативной рекурсивно перечислимой $m$-степенью $a$ находится
рекурсивно перечислимая $m$-степень такая, что для
любой $m$-степени $c<a$
выполняется соотношение $c\leqslant b$.