Тьюринговые скачки в иерархии Ершова

Изучаются бесконечные уровни иерархии Ершова в естественной системе обозначений, являющиеся собственными для скачков множеств. Доказывается, что собственными бесконечными уровнями для скачков являются только уровни $\Delta^{-1}_a$, где $a$ – обозначение для ординала $\omega^n>1$.