| Publication | Date of Publication | Type |
|---|
On the Performance of Axiom Systems
Axiomatic Thinking II | 2022-12-13 | Paper |
The Limits of Predicativity Revisited
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Memories of Kurt Schütte and the logic group in Munich: A personal report
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
From subsystems of analysis to subsystems of set theory
Advances in Proof Theory | 2020-08-07 | Paper |
Hilbert’s Programme and Ordinal Analysis
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Iterated inductive definitions revisited
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Semi-formal calculi and their applications
Gentzen's Centenary | 2017-09-27 | Paper |
| Provably recursive functions of reflection | 2014-06-24 | Paper |
Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions
Annals of Pure and Applied Logic | 2008-12-05 | Paper |
Proof theory. The first step into impredicativity
Universitext | 2008-07-01 | Paper |
In Memoriam: Kurt Schütte 1909–1998
The Bulletin of Symbolic Logic | 2000-12-28 | Paper |
| scientific article; zbMATH DE number 1215496 (Why is no real title available?) | 2000-07-13 | Paper |
Applications of cut-free infinitary derivations to generalized recursion theory
Annals of Pure and Applied Logic | 1999-11-15 | Paper |
Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
The Bulletin of Symbolic Logic | 1997-05-12 | Paper |
Mathematical foundations of computer science
Handbuch der Informatik | 1997-02-24 | Paper |
| scientific article; zbMATH DE number 432700 (Why is no real title available?) | 1993-11-11 | Paper |
Proof theory. An introduction
Lecture Notes in Mathematics | 1993-06-05 | Paper |
Proof theory and ordinal analysis
Archive for Mathematical Logic | 1991-01-01 | Paper |
Ordinal notations based on a hierarchy of inaccessible cardinals
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4033739 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3833954 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3797741 (Why is no real title available?) | 1982-01-01 | Paper |
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
Archiv für mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
Lecture Notes in Mathematics | 1981-01-01 | Paper |
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
Archiv für Mathematische Logik und Grundlagenforschung | 1981-01-01 | Paper |
Provable wellorderings of formal theories for transfinitely iterated inductive definitions
Journal of Symbolic Logic | 1978-01-01 | Paper |
Ordinals connected with formal theories for transfinitely iterated inductive definitions
Journal of Symbolic Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3545638 (Why is no real title available?) | 1975-01-01 | Paper |
Ein starker Normalisationssatz für die intuitionistische Typentheorie
Manuscripta Mathematica | 1973-01-01 | Paper |
