| Publication | Date of Publication | Type |
|---|
Gödel's First Proof of the Consistency of the Axiom of Choice (edit)
History and Philosophy of Logic | 2026-03-31 | Paper |
Gödel's modal interpretation of intuitionistic logic and its proof theory
Monatshefte für Mathematik | 2026-01-02 | Paper |
Gentzen's overview of calculi and reductions in consistency proofs
The Bulletin of Symbolic Logic | 2025-11-18 | Paper |
Rereading Gentzen
Synthese | 2025-11-07 | Paper |
| On the proof theory of apodictic syllogistic | 2025-06-26 | Paper |
Portrait of Young Gödel. Education, first steps in logic, the problem of completeness
Vienna Circle Institute Library | 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
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
Vienna Circle Institute Library | 2022-04-06 | Paper |
Von Neumann explains his game theory to Gödel, September 1940
The Mathematical Intelligencer | 2021-04-19 | Paper |
In search of the sources of incompleteness
Proceedings of the International Congress of Mathematicians (ICM 2018) | 2020-09-22 | Paper |
Can Mathematics Be Proved Consistent?
Sources and Studies in the History of Mathematics and Physical Sciences | 2020-09-03 | Paper |
What Are the Axioms for Numbers and Who Invented Them?
Philosophy of Logic and Mathematics | 2020-08-21 | Paper |
Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms
Mathesis Universalis, Computability and Proof | 2020-08-10 | Paper |
Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Aristotle’s Deductive Logic: a Proof-Theoretical Study
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
| Wittgenstein's struggles with the quantifiers | 2020-02-13 | Paper |
Meaning in use
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-12-05 | Paper |
Organization and development of a constructive axiomatization
Lecture Notes in Computer Science | 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
The Bulletin of Symbolic Logic | 2018-10-26 | Paper |
Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations
Indagationes Mathematicae. New Series | 2018-10-08 | Paper |
Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations
The Mathematical Intelligencer | 2018-09-06 | Paper |
From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction
Bulletin of the Section of Logic | 2018-03-21 | Paper |
From \textit{Hauptsatz} to \textit{Hilfssatz}
Gentzen's Centenary | 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
Sources and Studies in the History of Mathematics and Physical Sciences | 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
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
Generality and existence: quantificational logic in historical perspective
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
Gödel, Gentzen, Goodstein: the magic sound of a G-string
The Mathematical Intelligencer | 2015-04-23 | Paper |
Il silenzio delle sirene: La matematica greca antica
History and Philosophy of Logic | 2015-03-25 | Paper |
From axiomatic logic to natural deduction
Studia Logica | 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
The Mathematical Intelligencer | 2013-11-27 | Paper |
Gentzen's proof systems: byproducts in a work of genius
The Bulletin of Symbolic Logic | 2012-09-19 | Paper |
Normal derivability in classical natural deduction
The Review of Symbolic Logic | 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
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
| scientific article; zbMATH DE number 5920146 (Why is no real title available?) | 2011-07-13 | Paper |
A sequent calculus isomorphic to Gentzen's natural deduction
The Review of Symbolic Logic | 2011-06-10 | Paper |
| Hilbert's last problem | 2008-11-21 | Paper |
Gentzen's Proof of Normalization for Natural Deduction
The Bulletin of Symbolic Logic | 2008-06-09 | Paper |
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
The Bulletin of Symbolic Logic | 2007-10-22 | Paper |
| A constructive approach to Sylvester's conjecture | 2007-10-15 | Paper |
| scientific article; zbMATH DE number 2247256 (Why is no real title available?) | 2006-01-16 | Paper |
Normal derivability in modal logic
MLQ | 2005-11-15 | Paper |
Permutability of rules in lattice theory.
Algebra Universalis | 2005-04-19 | Paper |
Proof-theoretical analysis of order relations
Archive for Mathematical Logic | 2004-12-16 | Paper |
Proof systems for lattice theory
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
Translations from natural deduction to sequent calculus
MLQ | 2003-11-10 | Paper |
Natural deduction with general elimination rules
Archive for Mathematical Logic | 2003-09-16 | Paper |
Skolem's discovery of Gödel-Dummett logic
Studia Logica | 2003-04-27 | Paper |
Sequent calculus in natural deduction style
Journal of Symbolic Logic | 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
Archive for Mathematical Logic | 2001-03-28 | Paper |
| scientific article; zbMATH DE number 1189108 (Why is no real title available?) | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1795225 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1406467 (Why is no real title available?) | 2000-10-25 | Paper |
Cut Elimination in the Presence of Axioms
The Bulletin of Symbolic Logic | 2000-04-06 | Paper |
Cut Elimination in the Presence of Axioms
The Bulletin of Symbolic Logic | 2000-04-06 | Paper |
Formalization of Hilbert's geometry of incidence and parallelism
Synthese | 2000-03-21 | Paper |
Order in open intervals of computable reals
Mathematical Structures in Computer Science | 2000-02-28 | Paper |
A constructive theory of ordered affine geometry
Indagationes Mathematicae. New Series | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1118871 (Why is no real title available?) | 1998-02-17 | Paper |
The axioms of constructive geometry
Annals of Pure and Applied Logic | 1996-05-02 | Paper |
| scientific article; zbMATH DE number 791381 (Why is no real title available?) | 1995-08-28 | Paper |
Oresme's proof of the density of rotations of a circle through an irrational angle
Historia Mathematica | 1994-07-21 | Paper |
| scientific article; zbMATH DE number 9972 (Why is no real title available?) | 1992-06-25 | Paper |
Finite partial exchangeability
Statistics & Probability Letters | 1991-01-01 | Paper |
The Method of Arbitrary Functions
The British Journal for the Philosophy of Science | 1983-01-01 | Paper |
The significance of the ergodic decomposition of stationary measures for the interpretation of probability
Synthese | 1982-01-01 | Paper |
Reductive relations in interpretations of probability
Synthese | 1981-01-01 | Paper |
