| Publication | Date of Publication | Type |
|---|
| Kant on ‘Number’ | 2022-02-25 | Paper |
| What Hilbert and Bernays Meant by “Finitism” | 2020-08-21 | Paper |
| On the Computability of the Fan Functional | 2020-02-05 | Paper |
| First-Order Logic Without Bound Variables: Compositional Semantics | 2020-02-04 | Paper |
| Gentzen’s Original Consistency Proof and the Bar Theorem | 2017-09-27 | Paper |
| Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections | 2015-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001106 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079618 | 2011-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079619 | 2011-03-02 | Paper |
| Godel's interpretation of intuitionism | 2007-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3410817 | 2006-11-16 | Paper |
| Proof-theoretic semantics for classical mathematics | 2006-08-18 | Paper |
| Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4674792 | 2005-05-18 | Paper |
| The completeness of Heyting first-order logic | 2005-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793041 | 2003-02-18 | Paper |
| Beyond the Axioms: The Question of Objectivity in Mathematics† | 2002-09-05 | Paper |
| Godel's Unpublished Papers on Foundations of Mathematics† | 2002-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2755493 | 2002-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2702592 | 2001-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247035 | 2000-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247311 | 2000-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4258426 | 1999-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227563 | 1999-07-06 | Paper |
| Against intuitionism: Constructive mathematics is part of classical mathematics | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4093416 | 1975-01-01 | Paper |
| A gauge theory of the Weyl group | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767297 | 1971-01-01 | Paper |
| Coupling of de Sitter Space-Time and Internal Symmetry | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638276 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585417 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5605873 | 1968-01-01 | Paper |
| Intensional interpretations of functionals of finite type I | 1967-01-01 | Paper |
| A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic | 1966-01-01 | Paper |
| Functionals defined by transfinite recursion | 1965-01-01 | Paper |
| The substitution method | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5533180 | 1965-01-01 | Paper |
| Nested recursion | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607987 | 1961-01-01 | Paper |
| Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi | 1961-01-01 | Paper |
| A counterexample to a conjecture of Scott and Suppes | 1959-01-01 | Paper |
