A modification of Newton's method
Ambiguity and stratification
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
Calculating self-referential statements
Carrés exacts et carrés déductifs
Completeness of cut-free type theories.
Constructive dimension theory
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.
Dirichlet theorems and prime number hypotheses of a conditional Goldbach theorem.
Disjunctive properties of intuitionistic systems.
“Disorder” in lattices of binumerations
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.
Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
Formally self-referential propositions for cut free classical analysis and related systems [Book]
From Foundations to Science: Justifying and Unwinding Proofs
Gödel's diagonalization technique and related properties of theories
Goldbach conjecture.