Инволюторные группы
Индексные множества в гиперарифметической иерархии.
Индексные множества классов гипер-гиперпростых множеств
Индексные множества фактор-объектов нумерации Поста
Индуктивные представления булевых функций и конечная порождаемость классов Поста.
Интеграл Лебега и понятие измеримости функций в конструктивном анализе
Интегрируемые FR-конструкты над вероятностным пространством
Интервал Лебега в конструктивном анализе
Интерполяционное свойство и суперинтуиционистские предикатные логики
Интерполяционные теоремы в модальных логиках. Достаточные условия
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Интерполяция в бесконечнослойных расширениях логики доказуемости
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
Интерпретация графов в решетках размерности три.
Интуиционистская теория алгебраических систем и гейтинговозначный анализ.
Информационные фреймы Барвайса и модальные логики.
Инъективные минимальные модули
Использование ультрапроизведений в теории операторов. Простое доказательство теоремы Бишопа
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
Исчисление равенств для примитивно рекурсивных рациональнозначных функций