Соотношения между степенями табличного типа

Пусть $\mathrm{Th}(L_r)$ — элементарная теория полурешетки рекурсивно-перечислимых $r$-степеней, где $r$ — некоторая сводимость табличного типа. Доказано, что $\mathrm{Th}(L_{tt})\ne \mathrm{Th}(L_p)$ и $\mathrm{Th}(L_{btt})\ne \mathrm{Th}(L_\ell)$. Построена также нерекурсивная $btt$-степень, состоящая из одной $m$-степени.