Три теоремы о $tt$-степенях

Доказываются следующие три теоремы: (а) каждая нерекурсивная $tt$-степень состоит по крайней мере из двух $btt$-степеней; (б) степень неразрешимости $a$ такая, что $a'\geqslant 0''$, не содержит минимальных рекурсивно-перечислимых (р. п. ) $tt$-степеней; (в) для любого р. п. нерекурсивного и не $tt$-полного множества найдется $tt$-несравнимое с ним р. п. множество, под $tt$-степенью которого нет минимальных р. п. $tt$-степеней.