Some diophantine forms of Gödel's theorem.
Some simple decidability proofs
Statistical approach to proof theory
The lattices of numerations of theories containing Peano's arithmetic
Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture [Book]
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
Über Hilbert's reale und ideale Elemente.
Un'estensione del teorema di Löb
Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
Why semisets?
Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.
-cofinalities of
Аппроксимируемость операторов в конструктивных метрических пространствах
Достаточное условие представимости конструктивной функции в виде суммы двух суперпозиций абсолютно непрерывных функций
Достаточное условие сходимости монотонных последовательностей
Ещё один конструктивный вариант теоремы Коши
Законы больших чисел в конструктивной теории вероятностей
Замкнутые категории и теория доказательств
Иерархии операторов в конструктивных метрических пространствах