| Publication | Date of Publication | Type |
|---|
| Erdős-Moser and \(I \Sigma_2\) | 2024-11-09 | Paper |
| Searching problems above arithmetical transfinite recursion | 2024-08-08 | Paper |
| The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem | 2024-03-24 | Paper |
| EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES | 2023-10-13 | Paper |
| HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? | 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_0$ 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 | 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 | 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 | 2020-11-09 | Paper |
| Ekeland's variational principle in weak and strong systems of arithmetic | 2020-10-13 | Paper |
| Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs | 2020-08-25 | Paper |
| Ramsey's theorem for pairs, collection, and proof size | 2020-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5213556 | 2020-02-03 | Paper |
| The strength of SCT soundness | 2019-01-31 | Paper |
| THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS | 2019-01-04 | Paper |
| Erdos-Moser and ISigma_2 | 2018-07-12 | Paper |
| The proof-theoretic strength of Ramsey's theorem for pairs and two colors | 2018-06-22 | Paper |
| The Strength of the SCT Criterion | 2017-05-19 | Paper |
| The reverse mathematics of theorems of Jordan and Lebesgue | 2017-04-04 | Paper |
| Reverse mathematical bounds for the termination theorem | 2016-10-10 | Paper |
| On principles between ∑1- and ∑2-induction, and monotone enumerations | 2016-08-08 | Paper |
| On the Ramseyan Factorization Theorem | 2015-02-25 | Paper |
| Categorical characterizations of the natural numbers require primitive recursion | 2014-11-28 | Paper |
| Nonstandard second-order arithmetic and Riemann's mapping theorem | 2013-12-10 | Paper |
| Propagation of partial randomness | 2013-12-10 | Paper |
| A generalization of Levin-Schnorr's theorem | 2013-10-11 | Paper |
| A Note on the Sequential Version of ${\rm \Pi^1_2}$ Statements | 2013-08-05 | Paper |
| On the strength of Ramsey's theorem without Σ1‐induction | 2013-04-09 | Paper |
| Reverse mathematics and Peano categoricity | 2013-02-19 | Paper |
| The Dirac delta function in two settings of reverse mathematics | 2012-02-10 | Paper |
| A nonstandard counterpart of WWKL | 2011-11-10 | Paper |
| Formalizing non-standard arguments in second-order arithmetic | 2011-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3567857 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3391904 | 2009-08-13 | Paper |
| The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic | 2007-06-07 | Paper |
| Non-standard analysis in ACA0 and Riemann mapping theorem | 2007-05-11 | Paper |
| Complex analysis in subsystems of second order arithmetic | 2007-02-14 | Paper |
| Searching problems above arithmetical transfinite recursion | N/A | Paper |
| On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\mathsf{CA}_0$ | N/A | Paper |
| Conservation of Ramsey's theorem for pairs and well-foundedness | N/A | Paper |
| $\Pi^0_4$ conservation of Ramsey's theorem for pairs | N/A | Paper |
