гиперарифметическая вычислимость

Мат. hyperarithmetical computability