Суперавтономные нумерации и проектируемые ординалы

С эффективными оракулами строятся стандартные модели арифметики второй ступени $A^{(2)}$, куда вкладывается метарекурсия, воспроизводимая с этими оракулами.
Один из возможных способов построения эффективных оракулов дают суперавтономные нумерации. В связи с этим в §1 исследован механизм порождения эффективных нумераций, в частности, суперавтономных.
Благодаря тому, что с построенными оракулами можно моделировать фрагменты и арифметики $U$ второй ступени, а основные понятия метарекурсии и интересующие нас гипотезы (о метарекурсии и о вычислениях с оракулами) удается выразить двусторонне абсолютными формулами по отношению к построенным стандартным моделям $A^{(2)}$, удается доказать совместность с $U$ этих гипотез.