Скачки некоторых классов $\Delta^0_2$-множеств

Известны три естественные классификации (тьюринговых) степеней $\Delta^0_2$-множеств: иерархия, порождаемая иерархией Ершова, $REA$-иерархия и иерархия высоких-низких степеней. Установлено, что совокупность скачков степеней любого класса первых двух иерархий, не принадлежащих классам с меньшими номерами, совпадает с совокупностью скачков рекурсивно перечислимых степеней. Отсюда, как следствие, получается полная картина взаимного расположения классов всех трех упомянутых иерархий.
Библиогр. 4 назв.