Интуиционистская теория функционалов высокого типа

Построена интуиционистская теория функционалов высокого типа $LP$, являющаяся модификацией противоречивой теории Бернини. Доказана равнонепротиворечивость $LP$ с подсистемой $I$ классической простой теории типов с ограниченной аксиомой свертывания. Аксиома свертывания $I$ позволяет строить множества типа $n$ по формулам, не содержащим параметров с типами выше $n$.
Библиогр. 6 назв.