| Publication | Date of Publication | Type |
|---|
A Note on (Meta)predicative Wellordering Proofs
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
Advances in Proof Theory | 2020-08-07 | Paper |
A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
Outstanding Contributions to Logic | 2020-02-05 | Paper |
On Gentzen's first consistency proof for arithmetic
Gentzen's Centenary | 2017-09-27 | Paper |
| scientific article; zbMATH DE number 6307926 (Why is no real title available?) | 2014-06-24 | Paper |
| Another reduction of classical ID\(_\nu\) to constructive ID\(^i_\nu\) | 2011-03-09 | Paper |
A term calculus for (co-)recursive definitions on streamlike data structures
Annals of Pure and Applied Logic | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 1870412 (Why is no real title available?) | 2003-02-18 | Paper |
Refined program extraction from classical proofs
Annals of Pure and Applied Logic | 2002-09-16 | Paper |
Finitary treatment of operator controlled derivations
Mathematical Logic Quarterly (MLQ) | 2002-06-03 | Paper |
Explaining the Gentzen-Takeuti reduction steps: A second-order system
Archive for Mathematical Logic | 2002-04-02 | Paper |
An intuitionistic fixed point theory
Archive for Mathematical Logic | 1998-12-14 | Paper |
A note on SLDNF-resolution
Journal Of Logic And Computation | 1998-07-28 | Paper |
| scientific article; zbMATH DE number 1088186 (Why is no real title available?) | 1998-03-23 | Paper |
Epsilon substitution method for elementary analysis
Archive for Mathematical Logic | 1996-10-15 | Paper |
Proof-theoretic analysis of termination proofs
Annals of Pure and Applied Logic | 1996-08-27 | Paper |
A Uniform Approach to Fundamental Sequences and Hierarchies
Mathematical Logic Quarterly | 1995-05-14 | Paper |
| scientific article; zbMATH DE number 510775 (Why is no real title available?) | 1994-12-01 | Paper |
| scientific article; zbMATH DE number 432702 (Why is no real title available?) | 1994-09-01 | Paper |
| scientific article; zbMATH DE number 193575 (Why is no real title available?) | 1993-06-05 | Paper |
Notation systems for infinitary derivations
Archive for Mathematical Logic | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4139739 (Why is no real title available?) | 1990-01-01 | Paper |
Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)
Archive for Mathematical Logic | 1988-01-01 | Paper |
An independence result for \((\Pi^ 1_ 1-CA)+BI\)
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4033742 (Why is no real title available?) | 1987-01-01 | Paper |
A new system of proof-theoretic ordinal functions
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3914318 (Why is no real title available?) | 1984-01-01 | Paper |
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
Lecture Notes in Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3739530 (Why is no real title available?) | 1981-01-01 | Paper |
Provable wellorderings of formal theories for transfinitely iterated inductive definitions
Journal of Symbolic Logic | 1978-01-01 | Paper |
Über Teilsysteme von $$\bar \Theta $$ ({g})
Archiv für Mathematische Logik und Grundlagenforschung | 1976-01-01 | Paper |
Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
Archiv für Mathematische Logik und Grundlagenforschung | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3532926 (Why is no real title available?) | 1975-01-01 | Paper |
Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik
Archiv für Mathematische Logik und Grundlagenforschung | 1975-01-01 | Paper |
