Обобщенные вычисления с оракулами

Изучаются частичные оракулы $\mathcal{F}$, обладающие некоторой трансфинитной структурой, порождаемой условием $\delta\mathcal{F}\leqslant_m^g\tilde{\mathcal{B}}(\mathcal{F})$, где $\tilde{\mathcal{B}}(\mathcal{F})$ обозначает коды незастревающих машин, а сводящая функция $g$ является тотальной $\mathcal{F}$-вычислимой с обрывом цепей.
Доказана слабая фундированность таких оракулов $\mathcal{F}$ (т.е. $\mathcal{F}$-перечислимость множества $\mathcal{F}$-конструктивных ординалов) и их эквивалентность подходящим оракулам из клиниевской теории вычислимых функционалов.