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