| Publication | Date of Publication | Type |
|---|
| A new perspective on completeness and finitist consistency | 2024-11-12 | Paper |
| Proofs as Objects | 2022-12-14 | Paper |
| Shortening of Proof Length is Elusive for Theorem Provers | 2022-07-08 | Paper |
| Human-centered automated proof search | 2022-01-21 | Paper |
| NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF | 2021-07-22 | Paper |
| Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory | 2021-03-25 | Paper |
| The Ways of Hilbert’s Axiomatics: Structural and Formal | 2021-03-25 | Paper |
| Why Post Did [Not] Have Turing’s Thesis | 2020-08-06 | Paper |
| A Brief Note on Gödel, Nagel, Minds, and Machines | 2020-02-05 | Paper |
| The Cantor–Bernstein theorem: how many proofs? | 2019-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5236417 | 2019-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5229671 | 2019-08-16 | Paper |
| Dedekind's Abstract Concepts: Models and Mappings | 2019-02-26 | Paper |
| What Is the concept of computation? | 2018-09-06 | Paper |
| Conceptual Confluence in 1936: Post and Turing | 2018-04-18 | Paper |
| IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) | 2018-01-11 | Paper |
| Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency | 2017-10-11 | Paper |
| In the Shadow of Incompleteness: Hilbert and Gentzen | 2015-06-05 | Paper |
| The ways of Hilbert's axiomatics: structural and formal | 2014-07-22 | Paper |
| Gödel's philosophical challenge (to Turing) | 2014-06-24 | Paper |
| Hilbert's programs and beyond | 2013-03-18 | Paper |
| Axioms for computability: do they allow a proof of Church's thesis? | 2013-02-26 | Paper |
| Searching for proofs (and uncovering capacities of the mathematical mind) | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5392842 | 2011-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079617 | 2011-03-02 | Paper |
| Automated search for Gödel's proofs | 2010-01-11 | Paper |
| Beyond Hilbert’s Reach? | 2009-03-12 | Paper |
| Church Without Dogma: Axioms for Computability | 2008-04-29 | Paper |
| The AProS Project: Strategic Thinking & Computational Logic | 2007-11-27 | Paper |
| Relative consistency and accessible domains | 2007-10-24 | Paper |
| On mind \& Turing's machines | 2007-06-14 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Godel on computability | 2007-02-13 | Paper |
| Beyond Hilbert's reach? | 2006-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5493759 | 2006-10-16 | Paper |
| Dedekind's analysis of number: Systems and axioms | 2006-02-08 | Paper |
| Only Two Letters: The Correspondence between Herbrand and Gödel | 2006-02-08 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Automated search for Gödel's proofs | 2005-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428707 | 2003-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793429 | 2003-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793040 | 2003-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525292 | 2001-01-22 | Paper |
| Normal natural deduction proofs (in classical logic) | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941989 | 2000-03-19 | Paper |
| Hilbert's Programs: 1917–1922 | 1999-09-12 | Paper |
| Step by Recursive Step: Church's Analysis of Effective Calculability | 1998-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893138 | 1997-02-24 | Paper |
| Paper Machines | 1996-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4324696 | 1995-03-02 | Paper |
| Effectiveness and provability | 1995-01-11 | Paper |
| Relative consistency and accessible domains | 1993-02-02 | Paper |
| Herbrand analyses | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472100 | 1990-01-01 | Paper |
| Hilbert's program sixty years later | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824312 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3788003 | 1987-01-01 | Paper |
| Fragments of arithmetic | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3767346 | 1985-01-01 | Paper |
| Foundations for analysis and proof theory | 1984-01-01 | Paper |
| Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies | 1981-01-01 | Paper |
