| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5004949 | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5222079 | 2020-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224790 | 2019-07-24 | Paper |
| Spector’s Proof of the Consistency of Analysis | 2017-09-27 | Paper |
| A herbrandized functional interpretation of classical first-order logic | 2017-09-15 | Paper |
| Elementary Proof of Strong Normalization for Atomic F | 2017-01-27 | Paper |
| The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof | 2015-12-07 | Paper |
| The finitistic consistency of Heck's predicative Fregean system | 2015-05-22 | Paper |
| Nonstandardness and the bounded functional interpretation | 2015-05-15 | Paper |
| A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\) | 2014-09-30 | Paper |
| Interpretability in Robinson's Q | 2014-01-17 | Paper |
| Atomic polymorphism | 2013-04-23 | Paper |
| A Short Note on Spector’s Proof of Consistency of Analysis | 2012-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079692 | 2011-03-02 | Paper |
| The bounded functional interpretation of the double negation shift | 2010-06-24 | Paper |
| Commuting conversions vs. the standard conversions of the ``good connectives | 2009-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3621603 | 2009-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3621606 | 2009-04-21 | Paper |
| Injecting uniformities into Peano arithmetic | 2009-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3535940 | 2008-11-17 | Paper |
| Harrington's conservation theorem redone | 2008-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3518438 | 2008-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3437622 | 2007-05-09 | Paper |
| Bounded functional interpretation and feasible analysis | 2007-02-14 | Paper |
| Counting as integration in feasible analysis | 2006-08-30 | Paper |
| Comments on predicative logic | 2006-08-14 | Paper |
| Amending Frege's \textit{Grundgesetze der Arithmetik} | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711883 | 2005-12-08 | Paper |
| Bounded functional interpretation | 2005-08-25 | Paper |
| A simple proof of Parsons' theorem | 2005-07-06 | Paper |
| On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze | 2003-06-13 | Paper |
| Groundwork for weak analysis | 2002-12-04 | Paper |
| Two General Results on Intuitionistic Bounded Theories | 1999-09-22 | Paper |
| A note on finiteness in the predicative foundations of arithmetic | 1999-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4230815 | 1999-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896525 | 1997-02-09 | Paper |
| On End‐Extensions of Models of ¬exp | 1996-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867394 | 1996-03-04 | Paper |
| What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? | 1995-11-02 | Paper |
| A feasible theory for analysis | 1995-03-15 | Paper |
| Binary models generated by their tally part | 1995-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4314309 | 1994-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035308 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3487327 | 1990-01-01 | Paper |
