| Publication | Date of Publication | Type |
|---|
| Portrait of Young Gödel. Education, first steps in logic, the problem of completeness | 2024-09-24 | Paper |
| Logic as calculus and logic as language: too suggestive to be truthful? | 2024-04-08 | Paper |
| Gödel's reading of Peano's arithmetices principia | 2024-04-08 | Paper |
| Explicit Composition and Its Application in Proofs of Normalization | 2022-06-03 | Paper |
| Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics | 2022-04-06 | Paper |
| Von Neumann explains his game theory to Gödel, September 1940 | 2021-04-19 | Paper |
| In search of the sources of incompleteness | 2020-09-22 | Paper |
| Can Mathematics Be Proved Consistent? | 2020-09-03 | Paper |
| What Are the Axioms for Numbers and Who Invented Them? | 2020-08-21 | Paper |
| Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms | 2020-08-10 | Paper |
| Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction | 2020-04-03 | Paper |
| Aristotle’s Deductive Logic: a Proof-Theoretical Study | 2020-04-03 | Paper |
| Wittgenstein's struggles with the quantifiers | 2020-02-13 | Paper |
| Meaning in use | 2020-02-04 | Paper |
| From mathematical axioms to mathematical rules of proof: recent developments in proof analysis | 2019-12-05 | Paper |
| Organization and development of a constructive axiomatization | 2019-01-15 | Paper |
| Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction | 2018-10-26 | Paper |
| Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations | 2018-10-08 | Paper |
| Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations | 2018-09-06 | Paper |
| From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction | 2018-03-21 | Paper |
| From \textit{Hauptsatz} to \textit{Hilfssatz} | 2017-09-27 | Paper |
| The great formal machinery works. Theories of deduction and computation at the origins of the digital age | 2017-08-18 | Paper |
| Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics | 2016-08-10 | Paper |
| Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933 | 2016-03-18 | Paper |
| Generality and existence: quantificational logic in historical perspective | 2016-03-18 | Paper |
| Gödel, Gentzen, Goodstein: the magic sound of a G-string | 2015-04-23 | Paper |
| Il silenzio delle sirene: La matematica greca antica | 2015-03-25 | Paper |
| From axiomatic logic to natural deduction | 2015-02-27 | Paper |
| Elements of logical reasoning | 2014-04-11 | Paper |
| Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth | 2013-11-27 | Paper |
| Gentzen's proof systems: byproducts in a work of genius | 2012-09-19 | Paper |
| Normal derivability in classical natural deduction | 2012-06-11 | Paper |
| Proof Analysis | 2012-01-31 | Paper |
| Gentzen's original proof of the consistency of arithmetic revisited | 2011-11-22 | Paper |
| Combinatorial analysis of proofs in projective and affine geometry | 2011-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3016126 | 2011-07-13 | Paper |
| A sequent calculus isomorphic to Gentzen's natural deduction | 2011-06-10 | Paper |
| Hilbert's last problem | 2008-11-21 | Paper |
| Gentzen's Proof of Normalization for Natural Deduction | 2008-06-09 | Paper |
| In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs | 2007-10-22 | Paper |
| A constructive approach to Sylvester's conjecture | 2007-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718568 | 2006-01-16 | Paper |
| Normal derivability in modal logic | 2005-11-15 | Paper |
| Permutability of rules in lattice theory. | 2005-04-19 | Paper |
| Proof-theoretical analysis of order relations | 2004-12-16 | Paper |
| Proof systems for lattice theory | 2004-09-24 | Paper |
| Translations from natural deduction to sequent calculus | 2003-11-10 | Paper |
| Natural deduction with general elimination rules | 2003-09-16 | Paper |
| Skolem's discovery of Gödel-Dummett logic | 2003-04-27 | Paper |
| Sequent calculus in natural deduction style | 2002-04-29 | Paper |
| Structural proof theory. With an appendix by Aarne Ranta | 2001-09-18 | Paper |
| A proof of Gentzen's \textit{Hauptsatz} without multicut | 2001-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838817 | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552746 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939407 | 2000-10-25 | Paper |
| Cut Elimination in the Presence of Axioms | 2000-04-06 | Paper |
| Formalization of Hilbert's geometry of incidence and parallelism | 2000-03-21 | Paper |
| Order in open intervals of computable reals | 2000-02-28 | Paper |
| A constructive theory of ordered affine geometry | 1999-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376959 | 1998-02-17 | Paper |
| The axioms of constructive geometry | 1996-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4844969 | 1995-08-28 | Paper |
| Oresme's proof of the density of rotations of a circle through an irrational angle | 1994-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713272 | 1992-06-25 | Paper |
| Finite partial exchangeability | 1991-01-01 | Paper |
| The Method of Arbitrary Functions | 1983-01-01 | Paper |
| The significance of the ergodic decomposition of stationary measures for the interpretation of probability | 1982-01-01 | Paper |
| Reductive relations in interpretations of probability | 1981-01-01 | Paper |
