Сравнение линейной сводимости с другими сводимостями табличного типа

Изучается линейная $\ell$-сводимость в сравнении с другими ($tt$-, $p$-, $d$-, $c$- и $m$-) сводимостями табличного типа. Доказывается, что существует нерекурсивная $tt$-степень ($\ell$-степень), состоящая из одной $\ell$-степени (соответственно, $m$-степени). Выясняется различие элементарной теории верхней полурешетки рекурсивно-перечислимых $\ell$-степеней с аналогичными теориями $r$-степеней для $r\in\{tt, p, d, c, m\}$. Строится также пример одновременно $c$- и $d$-полного множества, не являющегося $\ell$-полным.