Изменения

Обозначим за \mathcal{D}_T множество классов эквивалентности языков по отношению \equiv_T, это множество будет множеством Т-степеней (тьюринговых степеней)

На Т-степенях можно ввести частичный порядок: для d_1, d_2 \in \mathcal{D}_T, d_1 \le d_2, если для каких-то L \in d_1, M \in d_2: L \le_T M, определение корректно, так как порядок не будет зависеть от выбора представителя Т-степени.

* \mathrm{R} — минимальный элемент в частичном порядке на Т-степенях. Очевидно из того, что класс разрешимых языков замкнут по использованию разрешимого языка в качестве оракула.

* Любая пара Т-степеней d_1, d_2 \in \mathcal{D}_T имеет наименьшую верхнюю границу d_1 \lor d_2 \in \mathcal{D}_T.

Обозначим за H язык программ, останавливающихся на пустом входе. Обозначим за H^f язык программ, использующих f в качестве оракула и останавливающихся на пустом входе.