Вычислимость с двуместным оракулом

Продолжено изучение нестандартной концепции обобщенной вычислимости на машине Тьюринга с двуместным оракулом $H(x,y)$. Такой оракул реагирует не только на вопрос $y$, но и на задающую этот вопрос машину $x$. Установлено, что для такого оракула справедлив квазиалгоритмический аналог аксиомы выбора. Построен двуместный оракул, релятивизованный к произвольному тотальному функционалу типа 2.
Библиогр. 9.