Достаточное условие представимости конструктивной функции в виде суммы двух суперпозиций абсолютно непрерывных функций
Достаточное условие сходимости монотонных последовательностей
Достаточные условия нормируемости линейных операторов в конструктивной математике
Ещё один конструктивный вариант теоремы Коши
Законы больших чисел в конструктивной теории вероятностей
Заметка к работе: О теореме Фувини для интеграла Римана в конструктивной математике
Замечание об усилении гипотезы Г.Крайзеля
Замкнутые категории и теория доказательств
Иерархии операторов в конструктивных метрических пространствах
Из чего вытекает закон исключенного третьего?
Импликативная сложность аксиоматик
Интеграл Лебега и понятие измеримости функций в конструктивном анализе
Интегрируемые FR-конструкты над вероятностным пространством
Интервал Лебега в конструктивном анализе
Интуиционистская теория алгебраических систем и гейтинговозначный анализ.
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
Исчисления с монотонными выводами и их экономическая интерпретация
К теории моделей для интуиционисткой логоки
Классификация пространств операторов конечных типов
Конструктивизация понятий -энтропии и -емкости