О суперпозициях абсолютно непрерывных конструктивных функций
Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний
Об аппроксимативном варианте понятия конструктивной аналитической функции
Об измеримости множеств по Лебегу в конструктивной математике
Об интегрируемости производных от конструктивных функций
Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной
Об одном конструктивном аналоге функций -ого класса Бэра
Об одном условии дифференцируемости конструктивных функций ограниченной вариации
Об оценке сложности некоторых массовых проблем анализа
Обобщенно-конструктивный континуум.
Ограниченные теории конструктивных булевых алгебр.
Один подход к построению конструктивных аналогов теории множеств
Одна специализация формы вывода в генценовских исчислениях и ее приложения
Одна схема доказательств в дискретной математике
Пример конструктивного отделимого пространства с неотделимым пополнением
Пространства и в конструктивной математике
Тeoремы о среднем значении для конструктивного интеграла
Теорема об устранимости сечения для релевантных логик
Топологические варианты теоремы о непрерывности отображений и родственных теорем
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики