Нижние оценки увеличения сложности выводов после устранения сечений
Новая последовательность редукций для арифметики
Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной
О Борелевых типах некоторых классов арифметических действительных чисел
О выразимости в ограниченной арифметике второго порядка
О двух расширениях логики доказуемости GL
О дизъюнктивном ранге формул конструктивной арифметики
О диффepeнциpуeмocти кoнcтpуктивныx функций cлaбo oгpaничeнной вapиaции нa пceвдочиcлax
О дифференцируемости конструктивных функций
О Е-теоремах
О исевдодиференцируемости конструктивных функций на конструктивных действительных числах
О кoнcтpуктивнoм aнaлoгe однoй тeopemы Лузина
О кoнcтpуктивнпм aналоге тeopeмы Дaнжуa-Янгa о пpoизводных чиcлax
О кoнcтpуктивныx пceвдочиcлax
О кванторе предельной осуществимости
О конcтpуктовных аналогах обобщено абсолютно непрерывных функций и функций обобщеной ограниченой вариации
О конструктивном аналоге cвязи измepимocти множеств и функций пo Лeбeгу
О конструктивном аналоге свойства
О конструктивном интеграле Перрона
О конструктивных aнaлoгax cвойств и