Relative enumerability and the $d$-c. e. degrees

В работе изучается связь между относительной перечислимостью и $d$-вычислимо перечислимыми степенями. Доказано, что тьюринговая степень проблемы остановки машины Тьюринга разложима на такие две вычислимо перечислимые степени, что верхний конус каждой из них состоит только из тех $d$-вычислимо перечислимых степеней, которые перечислимы относительно второй степени.