“Disorder” in lattices of binumerations
-cofinalities of
Аппроксимируемость операторов в конструктивных метрических пространствах
Достаточное условие представимости конструктивной функции в виде суммы двух суперпозиций абсолютно непрерывных функций
Достаточное условие сходимости монотонных последовательностей
Ещё один конструктивный вариант теоремы Коши
Законы больших чисел в конструктивной теории вероятностей
Замкнутые категории и теория доказательств
Иерархии операторов в конструктивных метрических пространствах
Интегрируемые FR-конструкты над вероятностным пространством
Исчисления с монотонными выводами и их экономическая интерпретация
Классификация пространств операторов конечных типов
Конструктивизация понятий -энтропии и -емкости
Линейные функционалы в конструктивных пространствах
Мажорантная семантика гиперарифметических суждений
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
Некоторые свойства F-чисел
Некоторые свойства гомеоморфизмов конструктивных метрических пространств
Некоторые свойства конструктивизации булевых алгебр
Необходимое и достаточное условие абсолютной непрерывности конструктивных функций