Вычислимые функционалы конечных типов

Настоящая статья является продолженном статьи автора “Вычислимые нумерации морфизмов” (Алгебра и логика, 10, №3 (1971), 247-308). 3десь определяется и изучается понятие $f$-пространства, котооое используется затем для определения некоторого класса ${\mathbb C}$ частичных (непрерывных) функционалов всех конечных типов над произвольным полным $f$-пространством (в частности, над множеством натуральных чисел $N$). Этот класс функционалов обладает большой степенью универсальности, что позволяет сравнивать различные классы функционалов между собой (определять “естественное” действие одного класса функционалов на другое).
Класс функционалов ${\mathbb C}$ — это тот “наибольший класс”, на котором “естественно” действуют вычислимые функционалы класса $\{{\mathbb{F}}_{\sigma}\mid\sigma\in T\}$, определенного в цитированной статье. Производится сравнение класса $\{{\mathbb{F}}_{\sigma}\mid\sigma\in T\}$ с функционалами Клини-Крайзеля.