| Publication | Date of Publication | Type |
|---|
A new perspective on completeness and finitist consistency
Journal Of Logic And Computation | 2024-11-12 | Paper |
| Paradoxes, intuitionism, and proof-theoretic semantics | 2024-10-01 | Paper |
| Dual axiomatics | 2024-09-11 | Paper |
| Dedekinds Sätze und Peanos axiomata | 2024-04-08 | Paper |
| scientific article; zbMATH DE number 7724208 (Why is no real title available?) | 2023-08-08 | Paper |
| Paul Bernays. A key figure in logic and foundations of mathematics | 2023-07-28 | Paper |
Default Negation as Explicit Negation plus Update
Logical Investigations | 2023-01-16 | Paper |
Hilbert’s Axiomatisches Denken
Axiomatic Thinking I | 2022-12-14 | Paper |
Implicit recursion-theoretic characterizations of counting classes
Archive for Mathematical Logic | 2022-10-18 | Paper |
Towards a Proof-Theoretic Semantics of Equalities
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
The Bulletin of Symbolic Logic | 2022-03-01 | Paper |
Lorenzen Between Gentzen and Schütte
Paul Lorenzen -- Mathematician and Logician | 2022-01-27 | Paper |
\(k\)-provability in \(\mathrm{PA}\)
Logica Universalis | 2022-01-24 | Paper |
“Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
| The intensional structure of epistemic convictions | 2021-10-18 | Paper |
| scientific article; zbMATH DE number 7317230 (Why is no real title available?) | 2021-03-03 | Paper |
scientific article; zbMATH DE number 7317230 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-03 | Paper |
Gerhard Jäger* and Wilfried Sieg.** Feferman on Foundations: Logic, Mathematics, Philosophy
Philosophia Mathematica | 2021-02-09 | Paper |
Let none but geometers enter here
Logic, Epistemology, and the Unity of Science | 2020-07-13 | Paper |
Discussing Hilbert's 24th problem
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-12-05 | Paper |
| Towards an operational view of purity | 2019-07-24 | Paper |
Is there a ``Hilbert thesis?
Studia Logica | 2019-05-15 | Paper |
| scientific article; zbMATH DE number 6843296 (Why is no real title available?) | 2018-02-23 | Paper |
From Dedekind to Zermelo versus Peano to Gödel
Mathematische Semesterberichte | 2018-02-06 | Paper |
Gentzen's consistency proof in context
Gentzen's Centenary | 2017-09-27 | Paper |
Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits
Information and Computation | 2016-05-03 | Paper |
Checking proofs
The Argument of Mathematics | 2015-10-05 | Paper |
Poincaré in Göttingen
The Western Ontario Series in Philosophy of Science | 2015-07-21 | Paper |
| scientific article; zbMATH DE number 6371938 (Why is no real title available?) | 2014-11-23 | Paper |
Proof-theoretic notions for software maintenance
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Applicative theories for the polynomial hierarchy of time and its levels
Annals of Pure and Applied Logic | 2013-04-15 | Paper |
Modalities without worlds
The Realism-Antirealism Debate in the Age of Alternative Logics | 2012-08-29 | Paper |
THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
The Review of Symbolic Logic | 2011-10-21 | Paper |
| scientific article; zbMATH DE number 5902345 (Why is no real title available?) | 2011-05-31 | Paper |
| scientific article; zbMATH DE number 5862936 (Why is no real title available?) | 2011-03-09 | Paper |
| On the incompleteness theorems of Kurt Gödel | 2009-04-21 | Paper |
Towards an Implicit Characterization of NC k
Computer Science Logic | 2009-03-12 | Paper |
Recursion Schemata for NC k
Computer Science Logic | 2008-11-20 | Paper |
| The applicative realm | 2008-03-28 | Paper |
Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
Mathematische Semesterberichte | 2007-03-20 | Paper |
A proof-theoretic view of necessity
Synthese | 2006-08-18 | Paper |
Mathematical proof theory in the light of ordinal analysis
Synthese | 2003-04-27 | Paper |
Universes over Frege structures
Annals of Pure and Applied Logic | 2003-03-09 | Paper |
Hilbert's paradox
Historia Mathematica | 2002-07-08 | Paper |
Truth in applicative theories
Studia Logica | 2002-07-05 | Paper |
Formalizing non-termination of recursive programs
The Journal of Logic and Algebraic Programming | 2002-05-21 | Paper |
Universes in explicit mathematics
Annals of Pure and Applied Logic | 2002-03-12 | Paper |
Structured belief bases
Logic and Logical Philosophy | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1670489 (Why is no real title available?) | 2001-11-11 | Paper |
N-strictness in applicative theories
Archive for Mathematical Logic | 2001-05-14 | Paper |
| scientific article; zbMATH DE number 1418436 (Why is no real title available?) | 2000-12-26 | Paper |
Frege structures for partial applicative theories
Journal Of Logic And Computation | 2000-07-31 | Paper |
The proof-theoretic analysis of transfinitely iterated fixed point theories
Journal of Symbolic Logic | 1999-09-16 | Paper |
