Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Линейные функционалы в конструктивных пространствах
Мажорантная семантика гиперарифметических суждений
Математическая интерпретация теоремы о веерах
Метод эпсилон подстановок для исчисления предикатов с равенством
Моделирование пульсирующего процесса
Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
Некоторые вопросы теории конструктивных функций действительной переменной
Некоторые конструктивизации абелевых групп
Некоторые свойства F-чисел
Некоторые свойства гомеоморфизмов конструктивных метрических пространств
Некоторые свойства конструктивизации булевых алгебр
Необходимое и достаточное условие абсолютной непрерывности конструктивных функций
Необходимое и достаточное условие представимости конструктивных функций в виде суммы сингулярной и абсолютно непрерывной функции
Необходимое и достаточное условие представимости конструктивных функций в виде суперпозиции абсолютно непрерывных функций
Необходимые и достаточные условия для шпеккеровых свойств вероятностного пространства
Непрерывность операторов в сепарабельных конструктивных метрических пространствах
Неразрешимые свойства расширений логики доказуемости. II