| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6123904 | 2024-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6168449 | 2023-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6109574 | 2023-07-28 | Paper |
| Default Negation as Explicit Negation plus Update | 2023-01-16 | Paper |
| Hilbert’s Axiomatisches Denken | 2022-12-14 | Paper |
| Implicit recursion-theoretic characterizations of counting classes | 2022-10-18 | Paper |
| Towards a Proof-Theoretic Semantics of Equalities | 2022-06-03 | Paper |
| VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY | 2022-03-01 | Paper |
| Lorenzen Between Gentzen and Schütte | 2022-01-27 | Paper |
| \(k\)-provability in \(\mathrm{PA}\) | 2022-01-24 | Paper |
| “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays | 2021-12-03 | Paper |
| The intensional structure of epistemic convictions | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964698 | 2021-03-03 | Paper |
| Gerhard Jäger* and Wilfried Sieg.** Feferman on Foundations: Logic, Mathematics, Philosophy | 2021-02-09 | Paper |
| M | 2020-07-13 | Paper |
| Discussing Hilbert's 24th problem | 2019-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224667 | 2019-07-24 | Paper |
| Is there a ``Hilbert thesis? | 2019-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4604206 | 2018-02-23 | Paper |
| From Dedekind to Zermelo versus Peano to Gödel | 2018-02-06 | Paper |
| Gentzen’s Consistency Proof in Context | 2017-09-27 | Paper |
| Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits | 2016-05-03 | Paper |
| Checking Proofs | 2015-10-05 | Paper |
| Poincaré in Göttingen | 2015-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2931087 | 2014-11-23 | Paper |
| Proof-theoretic notions for software maintenance | 2013-06-06 | Paper |
| Applicative theories for the polynomial hierarchy of time and its levels | 2013-04-15 | Paper |
| Modalities Without Worlds | 2012-08-29 | Paper |
| THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES | 2011-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003834 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081647 | 2011-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3621607 | 2009-04-21 | Paper |
| Towards an Implicit Characterization of NC k | 2009-03-12 | Paper |
| Recursion Schemata for NC k | 2008-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5452018 | 2008-03-28 | Paper |
| Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 | 2007-03-20 | Paper |
| A proof-theoretic view of necessity | 2006-08-18 | Paper |
| Mathematical proof theory in the light of ordinal analysis | 2003-04-27 | Paper |
| Universes over Frege structures | 2003-03-09 | Paper |
| Hilbert's paradox | 2002-07-08 | Paper |
| Truth in applicative theories | 2002-07-05 | Paper |
| Formalizing non-termination of recursive programs | 2002-05-21 | Paper |
| Universes in explicit mathematics | 2002-03-12 | Paper |
| Structured belief bases | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753685 | 2001-11-11 | Paper |
| N-strictness in applicative theories | 2001-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941991 | 2000-12-26 | Paper |
| Frege structures for partial applicative theories | 2000-07-31 | Paper |
| The proof-theoretic analysis of transfinitely iterated fixed point theories | 1999-09-16 | Paper |
