| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7377974 (Why is no real title available?) | 2021-08-03 | Paper |
| Techniques in weak analysis for conservation results | 2020-03-30 | Paper |
| Analysis in weak systems | 2019-07-24 | Paper |
Spector’s Proof of the Consistency of Analysis
Gentzen's Centenary | 2017-09-27 | Paper |
A herbrandized functional interpretation of classical first-order logic
Archive for Mathematical Logic | 2017-09-15 | Paper |
An elementary proof of strong normalization for atomic \(\mathsf F\)
Bulletin of the Section of Logic | 2017-01-27 | Paper |
The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
Studia Logica | 2015-12-07 | Paper |
The finitistic consistency of Heck's predicative Fregean system
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
The finitistic consistency of Heck's predicative Fregean system
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
Nonstandardness and the bounded functional interpretation
Annals of Pure and Applied Logic | 2015-05-15 | Paper |
A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)
The Journal of Symbolic Logic | 2014-09-30 | Paper |
Interpretability in Robinson's Q
The Bulletin of Symbolic Logic | 2014-01-17 | Paper |
Atomic polymorphism
Journal of Symbolic Logic | 2013-04-23 | Paper |
Atomic polymorphism
Journal of Symbolic Logic | 2013-04-23 | Paper |
A short note on Spector's proof of consistency of analysis
Lecture Notes in Computer Science | 2012-08-14 | Paper |
| Proof interpretations and majorizability | 2011-03-02 | Paper |
The bounded functional interpretation of the double negation shift
Journal of Symbolic Logic | 2010-06-24 | Paper |
Commuting conversions vs. the standard conversions of the ``good'' connectives
Studia Logica | 2009-11-16 | Paper |
| scientific article; zbMATH DE number 5545565 (Why is no real title available?) | 2009-04-21 | Paper |
| scientific article; zbMATH DE number 5545568 (Why is no real title available?) | 2009-04-21 | Paper |
Injecting uniformities into Peano arithmetic
Annals of Pure and Applied Logic | 2009-03-25 | Paper |
| The Grundlagenstreit and Brouwer's intuitionism | 2008-11-17 | Paper |
Harrington's conservation theorem redone
Archive for Mathematical Logic | 2008-10-16 | Paper |
| The Riemann integral in weak systems of analysis | 2008-08-08 | Paper |
| scientific article; zbMATH DE number 5150882 (Why is no real title available?) | 2007-05-09 | Paper |
Bounded functional interpretation and feasible analysis
Annals of Pure and Applied Logic | 2007-02-14 | Paper |
Counting as integration in feasible analysis
Mathematical Logic Quarterly | 2006-08-30 | Paper |
Comments on predicative logic
Journal of Philosophical Logic | 2006-08-14 | Paper |
Amending Frege's \textit{Grundgesetze der Arithmetik}
Synthese | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2236632 (Why is no real title available?) | 2005-12-08 | Paper |
Bounded functional interpretation
Annals of Pure and Applied Logic | 2005-08-25 | Paper |
A simple proof of Parsons' theorem
Notre Dame Journal of Formal Logic | 2005-07-06 | Paper |
On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
Journal of Philosophical Logic | 2003-06-13 | Paper |
Groundwork for weak analysis
Journal of Symbolic Logic | 2002-12-04 | Paper |
Two General Results on Intuitionistic Bounded Theories
Mathematical Logic Quarterly | 1999-09-22 | Paper |
A note on finiteness in the predicative foundations of arithmetic
Journal of Philosophical Logic | 1999-05-11 | Paper |
| scientific article; zbMATH DE number 1250534 (Why is no real title available?) | 1999-02-12 | Paper |
| scientific article; zbMATH DE number 937384 (Why is no real title available?) | 1997-02-09 | Paper |
On End‐Extensions of Models of ¬exp
Mathematical Logic Quarterly | 1996-07-24 | Paper |
| scientific article; zbMATH DE number 850763 (Why is no real title available?) | 1996-03-04 | Paper |
What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)?
Annals of Pure and Applied Logic | 1995-11-02 | Paper |
A feasible theory for analysis
Journal of Symbolic Logic | 1995-03-15 | Paper |
Binary models generated by their tally part
Archive for Mathematical Logic | 1995-01-05 | Paper |
| scientific article; zbMATH DE number 691421 (Why is no real title available?) | 1994-11-21 | Paper |
| scientific article; zbMATH DE number 176204 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 4160708 (Why is no real title available?) | 1990-01-01 | Paper |
