Об одном условии дифференцируемости конструктивных функций ограниченной вариации
Об одном фрагменте формализованного анализа
Об оценке сложности некоторых массовых проблем анализа
Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера
Обобщенно-конструктивный континуум.
Ограниченные теории конструктивных булевых алгебр.
Один подход к построению конструктивных аналогов теории множеств
Одна специализация формы вывода в генценовских исчислениях и ее приложения
Одна схема доказательств в дискретной математике
Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.
Полные конструктивные множества с равенством и некоторые их свойства
Последний вопрос о рекурсивно-перечислимых -степенях
Пример конструктивного отделимого пространства с неотделимым пополнением
Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов
Пространства и в конструктивной математике
Рекурсивные топологические пространства.
Рост длины секвенциального вывода при перестройке в натуральный
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
Сохранение эквивалентности выводов при редукции глубины формул