| Publication | Date of Publication | Type |
|---|
| Pour-El's landscape | 2025-01-24 | Paper |
| There are no minimal essentially undecidable theories | 2024-11-12 | Paper |
| Incompleteness of boundedly axiomatizable theories | 2024-10-18 | Paper |
| Lewisian fixed points. I: Two incomparable constructions | 2024-10-01 | Paper |
| Essential hereditary undecidability | 2024-07-02 | Paper |
| Pour-El's Landscape | 2023-10-07 | Paper |
| Finitely axiomatized theories lack self‐comprehension | 2023-09-20 | Paper |
| Certified $\Sigma_1$-sentences | 2023-06-22 | Paper |
| SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS | 2023-05-26 | Paper |
| Essential Hereditary Undecidability | 2022-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039154 | 2022-10-12 | Paper |
| Friedman-reflexivity | 2022-08-02 | Paper |
| There are no minimal essentially undecidable Theories | 2022-07-17 | Paper |
| On Guaspari's problem about partially conservative sentences | 2022-04-01 | Paper |
| Friedman-reflexivity: interpreters as consistoids | 2021-11-29 | Paper |
| The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb | 2021-04-16 | Paper |
| Extension and interpretability | 2021-03-19 | Paper |
| Cyclic Henkin Logic | 2021-01-27 | Paper |
| The small‐is‐very‐small principle | 2020-05-06 | Paper |
| ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM | 2020-04-27 | Paper |
| The interpretability logic of all reasonable arithmetical theories | 2020-04-27 | Paper |
| The Second Incompleteness Theorem: Reflections and Ruminations | 2020-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5222085 | 2020-03-30 | Paper |
| The Interpretation Existence Lemma | 2020-02-05 | Paper |
| From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference | 2020-02-03 | Paper |
| Enayat Theories | 2019-09-19 | Paper |
| On Guaspari's problem about partially conservative sentences | 2019-09-06 | Paper |
| Provability logic and the completeness principle | 2019-04-30 | Paper |
| ON A QUESTION OF KRAJEWSKI’S | 2019-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619877 | 2019-02-07 | Paper |
| The Small-Is-Very-Small Principle | 2018-05-03 | Paper |
| The Absorption Law, or How to Kreisel a Hilbert-Bernays-L\"ob | 2018-04-20 | Paper |
| On \(\mathsf{Q}\) | 2018-02-23 | Paper |
| Lewis meets Brouwer: constructive strict implication | 2018-01-12 | Paper |
| Interpretability suprema in Peano arithmetic | 2017-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464615 | 2016-01-27 | Paper |
| Transductions in arithmetic | 2016-01-12 | Paper |
| The Henkin Sentence | 2015-11-27 | Paper |
| Henkin and the Suit | 2015-11-27 | Paper |
| The arithmetics of a theory | 2015-05-22 | Paper |
| SELF-REFERENCE IN ARITHMETIC I | 2015-03-02 | Paper |
| SELF-REFERENCE IN ARITHMETIC II | 2015-03-02 | Paper |
| Uniform density in Lindenbaum algebras | 2015-02-26 | Paper |
| Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories | 2014-03-21 | Paper |
| Interpretability degrees of finitely axiomatized sequential theories | 2014-02-25 | Paper |
| The second incompleteness theorem and bounded interpretations | 2012-10-01 | Paper |
| A Tractarian universe | 2012-09-20 | Paper |
| Vaught's theorem on axiomatizability by a scheme | 2012-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118396 | 2012-03-02 | Paper |
| ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM | 2011-11-14 | Paper |
| Can We Make the Second Incompleteness Theorem Coordinate Free? | 2011-10-21 | Paper |
| On the ambiguation of Polish notation | 2011-07-07 | Paper |
| HUME’S PRINCIPLE, BEGINNINGS | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998377 | 2011-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079690 | 2011-03-02 | Paper |
| Intermediate logics and the de Jongh property | 2011-03-02 | Paper |
| Growing commas. A study of sequentiality and concatenation | 2009-11-18 | Paper |
| CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN | 2009-11-12 | Paper |
| The predicative Frege hierarchy | 2009-08-05 | Paper |
| Closed Fragments of Provability Logics of Constructive Theories | 2009-03-23 | Paper |
| Pairs, sets and sequences in first-order theories | 2008-09-09 | Paper |
| Propositional logics of closed and open substitutions over Heyting's arithmetic | 2007-02-20 | Paper |
| Predicate Logics of Constructive Arithmetical Theories | 2007-01-19 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5393646 | 2006-10-23 | Paper |
| No escape from Vardanyan's theorem | 2006-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477944 | 2006-06-29 | Paper |
| On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663859 | 2005-04-04 | Paper |
| Faith \& falsity | 2005-01-31 | Paper |
| Finality regained: A coalgebraic study of Scott-sets and multisets | 2003-09-16 | Paper |
| Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic | 2003-04-27 | Paper |
| The donkey and the monoid. Dynamic semantics with control elements | 2002-04-11 | Paper |
| The interpretability logic of all reasonable arithmetical theories. The new conjecture | 2001-12-18 | Paper |
| Submodels of Kripke models | 2001-09-19 | Paper |
| Dynamic bracketing and discourse representation | 2001-09-11 | Paper |
| Rules and arithmetics | 2001-07-17 | Paper |
| Dynamic negation, the one and only | 2000-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250050 | 2000-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215610 | 1999-07-05 | Paper |
| Contexts in dynamic predicate logic | 1998-04-13 | Paper |
| Dynamic relation logic is the logic of DPL-relations | 1997-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342078 | 1997-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837730 | 1997-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893140 | 1996-09-01 | Paper |
| A course on bimodal provability logic | 1995-12-18 | Paper |
| A small reflection principle for bounded arithmetic | 1995-06-13 | Paper |
| The unprovability of small inconsistency. A study of local and global interpretability | 1993-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694229 | 1993-06-29 | Paper |
| An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP | 1992-09-27 | Paper |
| On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness | 1992-06-28 | Paper |
| The formalization of interpretability | 1992-06-25 | Paper |
| Explicit fixed points in interpretability logic | 1992-06-25 | Paper |
| Peano's smart children: A provability logical study of systems with built-in consistency | 1989-01-01 | Paper |
| Four valued semantics and the Liar | 1984-01-01 | Paper |
| The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic | 1984-01-01 | Paper |
| On the completenes principle: A study of provability in heyting's arithmetic and extensions | 1982-01-01 | Paper |
| A propositional logic with explicit fixed points | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3909045 | 1981-01-01 | Paper |
| Incompleteness of boundedly axiomatizable theories | N/A | Paper |
| "Lewis and Brouwer meet Strong L\""ob" | N/A | Paper |
