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