| Publication | Date of Publication | Type |
|---|
Incompleteness of boundedly axiomatizable theories
(available as arXiv preprint) | N/A | Paper |
"Lewis and Brouwer meet Strong L\""ob"
(available as arXiv preprint) | N/A | Paper |
Kripke's reduction of Löb's theorem to the second incompleteness theorem
Theoria | 2026-08-06 | Paper |
Certified _1-sentences
The Journal of Symbolic Logic | 2026-03-11 | Paper |
When bi-interpretability implies synonymy
The Review of Symbolic Logic | 2026-01-16 | Paper |
| Goodbye oxhead. Prolegomena to the philosophy of the letter | 2025-02-04 | Paper |
Pour-El's landscape
The Bulletin of Symbolic Logic | 2025-01-24 | Paper |
There are no minimal essentially undecidable theories
Journal Of Logic And Computation | 2024-11-12 | Paper |
Incompleteness of boundedly axiomatizable theories
Proceedings of the American Mathematical Society | 2024-10-18 | Paper |
| Lewisian fixed points. I: Two incomparable constructions | 2024-10-01 | Paper |
Essential hereditary undecidability
Archive for Mathematical Logic | 2024-07-02 | Paper |
| Pour-El's Landscape | 2023-10-07 | Paper |
Finitely axiomatized theories lack self‐comprehension
Bulletin of the London Mathematical Society | 2023-09-20 | Paper |
| Certified \Sigma₁-sentences | 2023-06-22 | Paper |
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
The Review of Symbolic Logic | 2023-05-26 | Paper |
| Essential Hereditary Undecidability | 2022-12-07 | Paper |
Enayat theories
(available as arXiv preprint) | 2022-10-12 | Paper |
Friedman-reflexivity
Annals of Pure and Applied Logic | 2022-08-02 | Paper |
| There are no minimal essentially undecidable Theories | 2022-07-17 | Paper |
On Guaspari's problem about partially conservative sentences
Annals of Pure and Applied Logic | 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
Archive for Mathematical Logic | 2021-04-16 | Paper |
| Extension and interpretability | 2021-03-19 | Paper |
| Cyclic Henkin Logic | 2021-01-27 | Paper |
The small-is-very-small principle
Mathematical Logic Quarterly | 2020-05-06 | Paper |
Another look at the second incompleteness theorem
The Review of Symbolic Logic | 2020-04-27 | Paper |
| The interpretability logic of all reasonable arithmetical theories | 2020-04-27 | Paper |
The second incompleteness theorem: reflections and ruminations
Gödel's Disjunction | 2020-04-02 | Paper |
| What is sequentiality? | 2020-03-30 | Paper |
The interpretation existence lemma
Outstanding Contributions to Logic | 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
Journal Of Logic And Computation | 2020-02-03 | Paper |
Enayat Theories
(available as arXiv preprint) | 2019-09-19 | Paper |
On Guaspari's problem about partially conservative sentences
(available as arXiv preprint) | 2019-09-06 | Paper |
Provability logic and the completeness principle
Annals of Pure and Applied Logic | 2019-04-30 | Paper |
Provability logic and the completeness principle
Annals of Pure and Applied Logic | 2019-04-30 | Paper |
On a question of Krajewski's
Journal of Symbolic Logic | 2019-03-15 | Paper |
| Oracle bites theory | 2019-02-07 | Paper |
The Small-Is-Very-Small Principle
(available as arXiv preprint) | 2018-05-03 | Paper |
The Absorption Law, or How to Kreisel a Hilbert-Bernays-L\"ob
(available as arXiv preprint) | 2018-04-20 | Paper |
On \(\mathsf{Q}\)
Soft Computing | 2018-02-23 | Paper |
Lewis meets Brouwer: constructive strict implication
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
Interpretability suprema in Peano arithmetic
Archive for Mathematical Logic | 2017-09-15 | Paper |
| Why the theory R is special | 2016-01-27 | Paper |
Transductions in arithmetic
Annals of Pure and Applied Logic | 2016-01-12 | Paper |
Henkin and the Suit
Studies in Universal Logic | 2015-11-27 | Paper |
The Henkin sentence
Studies in Universal Logic | 2015-11-27 | Paper |
The arithmetics of a theory
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
The arithmetics of a theory
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
Self-reference in arithmetic. I
The Review of Symbolic Logic | 2015-03-02 | Paper |
Self-reference in arithmetic. II
The Review of Symbolic Logic | 2015-03-02 | Paper |
Uniform density in Lindenbaum algebras
Notre Dame Journal of Formal Logic | 2015-02-26 | Paper |
Uniform density in Lindenbaum algebras
Notre Dame Journal of Formal Logic | 2015-02-26 | Paper |
Peano Corto and Peano Basso: a study of local induction in the context of weak theories
Mathematical Logic Quarterly | 2014-03-21 | Paper |
Interpretability degrees of finitely axiomatized sequential theories
Archive for Mathematical Logic | 2014-02-25 | Paper |
The second incompleteness theorem and bounded interpretations
Studia Logica | 2012-10-01 | Paper |
A Tractarian universe
Journal of Philosophical Logic | 2012-09-20 | Paper |
Vaught's theorem on axiomatizability by a scheme
The Bulletin of Symbolic Logic | 2012-09-19 | Paper |
Vaught's theorem on axiomatizability by a scheme
The Bulletin of Symbolic Logic | 2012-09-19 | Paper |
| -models of finite set theory | 2012-03-02 | Paper |
On the termination of Russell's description elimination algorithm
The Review of Symbolic Logic | 2011-11-14 | Paper |
Can we make the second incompleteness theorem coordinate free?
Journal Of Logic And Computation | 2011-10-21 | Paper |
On the ambiguation of Polish notation
Theoretical Computer Science | 2011-07-07 | Paper |
Hume's principle, beginnings
The Review of Symbolic Logic | 2011-06-10 | Paper |
| scientific article; zbMATH DE number 5896226 (Why is no real title available?) | 2011-05-18 | Paper |
| Decorated linear order types and the theory of concatenation | 2011-03-02 | Paper |
Intermediate logics and the de Jongh property
Archive for Mathematical Logic | 2011-03-02 | Paper |
Growing commas. A study of sequentiality and concatenation
Notre Dame Journal of Formal Logic | 2009-11-18 | Paper |
CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
The Review of Symbolic Logic | 2009-11-12 | Paper |
The predicative Frege hierarchy
Annals of Pure and Applied Logic | 2009-08-05 | Paper |
Closed Fragments of Provability Logics of Constructive Theories
Journal of Symbolic Logic | 2009-03-23 | Paper |
Pairs, sets and sequences in first-order theories
Archive for Mathematical Logic | 2008-09-09 | Paper |
Propositional logics of closed and open substitutions over Heyting's arithmetic
Notre Dame Journal of Formal Logic | 2007-02-20 | Paper |
Predicate Logics of Constructive Arithmetical Theories
Journal of Symbolic Logic | 2007-01-19 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 5066367 (Why is no real title available?) | 2006-10-23 | Paper |
No escape from Vardanyan's theorem
Archive for Mathematical Logic | 2006-09-04 | Paper |
| scientific article; zbMATH DE number 5037198 (Why is no real title available?) | 2006-06-29 | Paper |
On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
Annals of Pure and Applied Logic | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2152256 (Why is no real title available?) | 2005-04-04 | Paper |
Faith \& falsity
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
Finality regained: A coalgebraic study of Scott-sets and multisets
Archive for Mathematical Logic | 2003-09-16 | Paper |
Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
Annals of Pure and Applied Logic | 2003-04-27 | Paper |
The donkey and the monoid. Dynamic semantics with control elements
Journal of Logic, Language and Information | 2002-04-11 | Paper |
The interpretability logic of all reasonable arithmetical theories. The new conjecture
Erkenntnis | 2001-12-18 | Paper |
Submodels of Kripke models
Archive for Mathematical Logic | 2001-09-19 | Paper |
Dynamic bracketing and discourse representation
Notre Dame Journal of Formal Logic | 2001-09-11 | Paper |
Rules and arithmetics
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Dynamic negation, the one and only
Journal of Logic, Language and Information | 2000-07-24 | Paper |
| scientific article; zbMATH DE number 1303441 (Why is no real title available?) | 2000-03-29 | Paper |
| scientific article; zbMATH DE number 1215477 (Why is no real title available?) | 1999-07-05 | Paper |
Contexts in dynamic predicate logic
Journal of Logic, Language and Information | 1998-04-13 | Paper |
Dynamic relation logic is the logic of DPL-relations
Journal of Logic, Language and Information | 1997-10-28 | Paper |
| scientific article; zbMATH DE number 1028815 (Why is no real title available?) | 1997-07-08 | Paper |
| scientific article; zbMATH DE number 956473 (Why is no real title available?) | 1997-03-11 | Paper |
| scientific article; zbMATH DE number 922620 (Why is no real title available?) | 1996-09-01 | Paper |
A course on bimodal provability logic
Annals of Pure and Applied Logic | 1995-12-18 | Paper |
A small reflection principle for bounded arithmetic
Journal of Symbolic Logic | 1995-06-13 | Paper |
The unprovability of small inconsistency. A study of local and global interpretability
Archive for Mathematical Logic | 1993-12-09 | Paper |
| scientific article; zbMATH DE number 218514 (Why is no real title available?) | 1993-06-29 | Paper |
An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP
Journal of Symbolic Logic | 1992-09-27 | Paper |
On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Explicit fixed points in interpretability logic
Studia Logica | 1992-06-25 | Paper |
The formalization of interpretability
Studia Logica | 1992-06-25 | Paper |
Peano's smart children: A provability logical study of systems with built-in consistency
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
