Доказательство несовпадения классов простых примитивно рекурсивных функций
Дополнение к статье Ю.Л.Ершова"Верхняя полурешетка нумераций конечного множества".
Допустимые и производные правила
Допустимые множества в теории групп
Допустимые правила для логик, включающих S4.3.
Допустимые правила предтабличных модальных логик
Достаточное условие представимости конструктивной функции в виде суммы двух суперпозиций абсолютно непрерывных функций
Достаточное условие, при котором замкнутые классы -значной логики имеют только тривиальные конгруэнции
Достаточное условие сходимости монотонных последовательностей
Достаточные условия неполноты для формализаций частей арифметики
Достаточные условия нормируемости линейных операторов в конструктивной математике
Ещё несколько примеров неразрешимых теорий
Ещё один конструктивный вариант теоремы Коши
Еще раз о вопросе Хигмана
Ещё раз о счетно-категоричных предложениях.
Жесткие конструктивные модули
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Законы больших чисел в конструктивной теории вероятностей
Заметка к работе: О теореме Фувини для интеграла Римана в конструктивной математике
Замечаниe о группе Борисова-Буна.