Несократимые, сингулярные и смежные степени

Исследуются структуры степеней более сильных алгоритмических сводимостей внутри степеней более слабых алгоритмических сводимостей. Проводится обзор результатов в этой области для алгоритмических сводимостей $m$-, $1$-, $tt$-, $wtt$-, $T$-, $e$-, $s$-, $Q$- и формулируются оставшиеся открытыми для этих сводимостей вопросы. Строится вычислимо перечислимая $Q$-степень, состоящая из одной вычислимо перечислимой $m$-степени.