СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Победин Л. Н. Вычислимость с двуместным оракулом // Том 35 (1994), Номер 5, стр. 1138–1147
Продолжено изучение нестандартной концепции обобщенной вычислимости
на машине Тьюринга с двуместным оракулом
$H(x,y)$.
Такой оракул реагирует не только на вопрос
$y$,
но и на задающую этот вопрос машину
$x$.
Установлено, что для такого оракула справедлив
квазиалгоритмический аналог аксиомы выбора.
Построен двуместный оракул, релятивизованный к произвольному тотальному
функционалу типа 2. Библиогр. 9.
© Сибирский Математический Журнал, 2003-2006