Об одном классе рекурсивных иерархий

Рассматриваются рекурсивные иерархии, построенные при помощи частичных оракулов, соотнесенных с произвольной (однозначной) системой ординальных обозначений. Выделяется некоторое семейство таких иерархий, обладающее инвариантными классами. Доказывается, что получающиеся при этом множества исчерпывают совокупность множеств, разрешимых в смысле Клини относительно гиперджампоперации.