0 пceвдoдиффepeцируйemoctи пceвдоравномерно нeпpepывных кoнструктивных функций пo функцияm тoгo жe типa
“Disorder” in lattices of binumerations
...-inaccessible ordinals, collapsing functions and a recursive notation system.
-tautologies, uniform and non-uniform upper bounds in computation theory
Una -tautologia è una tautologia del tipo avente un solo interpolante di Craig , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.
-cofinalities of
ω-models of second order arithmetic and admissible sets
Алгоритмы, алгебры и интуиционистская логика
Аппроксимируемость операторов в конструктивных метрических пространствах
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Базы допустимых правил логик S4 и Int
Бескванторные и однокванторные системы
Бесконечные арифметические формулы и принцип рефлексии.
Вариант конструктивных ординалов Рихтера.
Верхние оценки удлинения выводов при устранении сечений
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Вычислимые функционалы и арифметика ординальных типов
Гейтинговское исчисление предикатов с эпсилон-символом
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике
Две системы доказательства тавтологичности, основанные на методе расщеплений
Доказательства в арифметике, использующие случайные числа