Ещё раз о счетно-категоричных предложениях.
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Замечаниe о группе Борисова-Буна.
Замечание об одной теореме Хао Вана
Замечания к работе Р. Бергера о проблеме домино
Игра Банаха-Мазура
Иерархии абелевых групп без кручения.
Иерархии гиперарифмитических множеств и функций
Иерархии операторов в конструктивных метрических пространствах
Иерархия Ершова и T-скачок
Изменение сложности функций при применении кратной рекурсии
Импликативно селекторные множества.
Индексные множества в гиперарифметической иерархии.
Индексные множества классов гипер-гиперпростых множеств
Индексные множества фактор-объектов нумерации Поста
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
Исчисления равенств для классов Гжегорчика
Исчисления с монотонными выводами и их экономическая интерпретация
Итеративное описание класса иерархии Гжегорчика
Итерированная клиниевская вычислимость.