| Publication | Date of Publication | Type |
|---|
An isomorphism theorem for models of weak König's lemma without primitive recursion
Journal of the European Mathematical Society (JEMS) | 2026-05-15 | Paper |
\(\Pi^0_4\) conservation of Ramsey's theorem for pairs
Journal of the London Mathematical Society. Second Series | 2026-02-02 | Paper |
| Completeness theorems for modal logic in second-order arithmetic | 2025-11-19 | Paper |
A parameterized halting problem, _0 truth and the MRDP theorem
The Journal of Symbolic Logic | 2025-07-24 | Paper |
Conservation of Ramsey's theorem for pairs and well-foundedness
Transactions of the American Mathematical Society | 2025-03-06 | Paper |
On the first-order parts of problems in the Weihrauch degrees
Computability | 2025-03-03 | Paper |
Erdős-Moser and I _2
Israel Journal of Mathematics | 2024-11-09 | Paper |
Searching problems above arithmetical transfinite recursion
Annals of Pure and Applied Logic | 2024-08-08 | Paper |
The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem
International Congress of Mathematicians | 2024-03-24 | Paper |
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
The Bulletin of Symbolic Logic | 2023-10-13 | Paper |
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
Journal of Symbolic Logic | 2023-06-05 | Paper |
| Metric fixed point theory and partial impredicativity | 2023-02-17 | Paper |
| On the first-order parts of problems in the Weihrauch degrees | 2023-01-30 | Paper |
| A parameterized halting problem, \Delta₀ truth and the MRDP theorem | 2022-11-11 | Paper |
| Determinacy and reflection principles in second-order arithmetic | 2022-09-08 | Paper |
| In search of the first-order part of Ramsey's theorem for pairs | 2022-03-22 | Paper |
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
Journal of Symbolic Logic | 2022-01-17 | Paper |
| An isomorphism theorem for models of Weak K\"onig's Lemma without primitive recursion | 2021-12-20 | Paper |
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Very weak fragments of weak K\H{o}nig's lemma | 2021-01-03 | Paper |
Combinatorial principles equivalent to weak induction
Computability | 2020-11-09 | Paper |
Ekeland's variational principle in weak and strong systems of arithmetic
Selecta Mathematica. New Series | 2020-10-13 | Paper |
Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
Selecta Mathematica. New Series | 2020-08-25 | Paper |
| Ramsey's theorem for pairs, collection, and proof size | 2020-05-14 | Paper |
| Notes on various versions of Friedman's self-embedding theorem | 2020-02-03 | Paper |
The strength of SCT soundness
Journal Of Logic And Computation | 2019-01-31 | Paper |
The strength of Ramsey's theorem for pairs and arbitrarily many colors
Journal of Symbolic Logic | 2019-01-04 | Paper |
| Erdos-Moser and ISigma₂ | 2018-07-12 | Paper |
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
Advances in Mathematics | 2018-06-22 | Paper |
The strength of the SCT criterion
Lecture Notes in Computer Science | 2017-05-19 | Paper |
The reverse mathematics of theorems of Jordan and Lebesgue
(available as arXiv preprint) | 2017-04-04 | Paper |
Reverse mathematical bounds for the termination theorem
Annals of Pure and Applied Logic | 2016-10-10 | Paper |
On principles between _1- and _2-induction, and monotone enumerations
Journal of Mathematical Logic | 2016-08-08 | Paper |
On the Ramseyan factorization theorem
Language, Life, Limits | 2015-02-25 | Paper |
Categorical characterizations of the natural numbers require primitive recursion
Annals of Pure and Applied Logic | 2014-11-28 | Paper |
Nonstandard second-order arithmetic and Riemann's mapping theorem
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
Propagation of partial randomness
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
| A generalization of Levin-Schnorr's theorem | 2013-10-11 | Paper |
A note on the sequential version of ^1_2 statements
Lecture Notes in Computer Science | 2013-08-05 | Paper |
On the strength of Ramsey's theorem without \(\Sigma _{1}\)-induction
Mathematical Logic Quarterly | 2013-04-09 | Paper |
Reverse mathematics and Peano categoricity
Annals of Pure and Applied Logic | 2013-02-19 | Paper |
The Dirac delta function in two settings of reverse mathematics
Archive for Mathematical Logic | 2012-02-10 | Paper |
A nonstandard counterpart of WWKL
Notre Dame Journal of Formal Logic | 2011-11-10 | Paper |
Formalizing non-standard arguments in second-order arithmetic
Journal of Symbolic Logic | 2011-01-12 | Paper |
| On ^1_1 conservativity for ^1_2 theories in second order arithmetic | 2010-06-17 | Paper |
| Standard and non-standard analysis in second order arithmetic | 2009-08-13 | Paper |
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
Archive for Mathematical Logic | 2007-06-07 | Paper |
Non-standard analysis in ACA0 and Riemann mapping theorem
MLQ | 2007-05-11 | Paper |
Complex analysis in subsystems of second order arithmetic
Archive for Mathematical Logic | 2007-02-14 | Paper |
Searching problems above arithmetical transfinite recursion
(available as arXiv preprint) | N/A | Paper |
On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\mathsf{CA}_0$
(available as arXiv preprint) | N/A | Paper |
Conservation of Ramsey's theorem for pairs and well-foundedness
(available as arXiv preprint) | N/A | Paper |
$\Pi^0_4$ conservation of Ramsey's theorem for pairs
(available as arXiv preprint) | N/A | Paper |
