| Publication | Date of Publication | Type |
|---|
Feferman's completeness theorem
The Bulletin of Symbolic Logic | 2025-11-18 | Paper |
The logical strength of minimal bad arrays
Proceedings of the American Mathematical Society | 2025-01-08 | Paper |
There are no minimal essentially undecidable theories
Journal Of Logic And Computation | 2024-11-12 | Paper |
Correction to: ``Arithmetical and hyperarithmetical worm battles
Journal Of Logic And Computation | 2024-11-12 | Paper |
Functorial Fast-Growing Hierarchies
Forum of Mathematics, Sigma | 2024-02-07 | Paper |
Generalized fusible numbers and their ordinals
Annals of Pure and Applied Logic | 2023-10-12 | Paper |
Finitely axiomatized theories lack self‐comprehension
Bulletin of the London Mathematical Society | 2023-09-20 | Paper |
On the coprimeness relation from the viewpoint of monadic second-order logic
Izvestiya: Mathematics | 2023-09-02 | Paper |
The Π21$\Pi ^1_2$ consequences of a theory
Journal of the London Mathematical Society | 2023-08-23 | Paper |
| Provable better quasi orders | 2023-05-01 | Paper |
| The logical strength of minimal bad arrays | 2023-04-01 | Paper |
Arithmetical and Hyperarithmetical Worm Battles
Journal Of Logic And Computation | 2023-01-04 | Paper |
| Linear Orders in Presburger Arithmetic | 2022-09-23 | Paper |
| How to escape Tennenbaum's theorem | 2022-09-02 | Paper |
| There are no minimal essentially undecidable Theories | 2022-07-17 | Paper |
Reflection algebras and conservation results for theories of iterated truth
Annals of Pure and Applied Logic | 2022-04-01 | Paper |
Multi-dimensional Interpretations of Presburger Arithmetic in Itself
Journal Of Logic And Computation | 2020-12-15 | Paper |
Short proofs for slow consistency
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Short proofs for slow consistency
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Multi-Dimensional Interpretations of Presburger Arithmetic in Itself
(available as arXiv preprint) | 2020-04-05 | Paper |
Complexity of the interpretability logic IL
Logic Journal of the IGPL | 2019-11-04 | Paper |
Reflection algebras and conservation results for theories of iterated truth
(available as arXiv preprint) | 2019-08-27 | Paper |
Truth, disjunction, and induction
Archive for Mathematical Logic | 2019-07-04 | Paper |
| A weak set theory that proves its own consistency | 2019-07-01 | Paper |
On a question of Krajewski's
Journal of Symbolic Logic | 2019-03-15 | Paper |
Reflection ranks and ordinal analysis
(available as arXiv preprint) | 2018-05-05 | Paper |
Interpretations of Presburger arithmetic in itself
(available as arXiv preprint) | 2018-04-06 | Paper |
Solovay's completeness without fixed points
(available as arXiv preprint) | 2017-12-20 | Paper |
Linear \(\mathrm{GLP}\)-algebras and their elementary theories
Izvestiya: Mathematics | 2017-03-08 | Paper |
On elementary theories of ordinal notation systems based on reflection principles
Proceedings of the Steklov Institute of Mathematics | 2016-05-10 | Paper |
| Slow and Ordinary Provability for Peano Arithmetic | 2016-02-04 | Paper |
| Ordinal Notations in Caucal Hierarchy | 2015-12-15 | Paper |
On the complexity of the closed fragment of Japaridze's provability logic
Archive for Mathematical Logic | 2014-12-15 | Paper |
| On Elementary Theories of GLP-Algebras | 2014-12-14 | Paper |
Undecidability of the elementary theory of the semilattice of GLP-words
Sbornik: Mathematics | 2012-11-23 | Paper |
The Logic of Correct Models
(available as arXiv preprint) | N/A | Paper |
