Об одном фрагменте формализованного анализа

В языке многосортной логики предикатов с равенством и операцией аппликации строится теория с добавлением ограниченных аксиом свертывания, в терминах вычислимости с оракулами строится ее модель, в которой функционалы типа $n$ интерпретируются $n$-местными числовыми функциями.
Библиогр. 1.