| Publication | Date of Publication | Type |
|---|
| Higman's lemma is stronger for better quasi orders | 2025-01-15 | Paper |
| The logical strength of minimal bad arrays | 2025-01-08 | Paper |
| Normal functions and maximal order types | 2024-11-12 | Paper |
| Well ordering principles for iterated \(\Pi^1_1\)-comprehension | 2023-10-30 | Paper |
| An Introduction to Mathematical Logic | 2023-10-15 | Paper |
| What is effective transfinite recursion in reverse mathematics? | 2023-09-12 | Paper |
| A note on ordinal exponentiation and derivatives of normal functions | 2023-09-11 | Paper |
| On the logical strength of the better quasi order with three elements | 2023-08-28 | Paper |
| Bachmann-Howard derivatives | 2023-06-05 | Paper |
| Provable better quasi orders | 2023-05-01 | Paper |
| Bounds for a nonlinear ergodic theorem for Banach spaces | 2023-04-27 | Paper |
| Weak well orders and Fra\"iss\'e's conjecture | 2023-04-06 | Paper |
| The logical strength of minimal bad arrays | 2023-04-01 | Paper |
| A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH | 2022-11-08 | Paper |
| Normal functions and maximal order types | 2022-09-23 | Paper |
| The uniform Kruskal theorem: between finite combinatorics and strong set existence | 2022-07-30 | Paper |
| Boundedness theorems for flowers and sharps | 2022-07-08 | Paper |
| A Uniform Characterization of Σ1-Reflection Over the Fragments of Peano Arithmetic | 2022-06-17 | Paper |
| Higman's lemma is stronger for better quasi orders | 2022-05-09 | Paper |
| Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis | 2022-04-20 | Paper |
| Minimal bad sequences are necessary for a uniform Kruskal theorem | 2022-04-14 | Paper |
| R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces | 2022-04-08 | Paper |
| Patterns of resemblance and Bachmann-Howard fixed points | 2022-01-04 | Paper |
| Reverse mathematics of a uniform Kruskal-Friedman theorem | 2021-12-16 | Paper |
| WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY | 2021-10-27 | Paper |
| Ackermann and Goodstein go functorial | 2021-10-19 | Paper |
| Unprovability in Mathematics: A First Course on Ordinal Analysis | 2021-09-13 | Paper |
| From Kruskal’s theorem to Friedman’s gap condition | 2021-05-14 | Paper |
| HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS? | 2021-01-29 | Paper |
| Patterns of resemblance and Bachmann-Howard fixed points | 2020-12-18 | Paper |
| Derivatives of normal functions in reverse mathematics | 2020-12-15 | Paper |
| Ackermann and Goodstein go functorial | 2020-11-06 | Paper |
| Computable aspects of the Bachmann–Howard principle | 2020-09-04 | Paper |
| Set-theoretic reflection is equivalent to induction over well-founded classes | 2020-08-20 | Paper |
| Short proofs for slow consistency | 2020-05-04 | Paper |
| PREDICATIVE COLLAPSING PRINCIPLES | 2020-04-17 | Paper |
| A mathematical commitment without computational strength | 2020-04-15 | Paper |
| From Kruskal's theorem to Friedman's gap condition | 2020-03-05 | Paper |
| Minimal bad sequences are necessary for a uniform Kruskal theorem | 2020-01-17 | Paper |
| A categorical construction of Bachmann–Howard fixed points | 2019-12-11 | Paper |
| \(\Pi_1^1\)-comprehension as a well-ordering principle | 2019-09-19 | Paper |
| A note on iterated consistency and infinite proofs | 2019-03-27 | Paper |
| Slow reflection | 2017-09-29 | Paper |
| Proof lengths for instances of the Paris-Harrington principle | 2017-05-15 | Paper |
| A Higher Bachmann-Howard Principle | 2017-04-05 | Paper |
| Lattice-based and topological representations of binary relations with an application to music | 2015-06-18 | Paper |
| Dilators and the reverse mathematics zoo | N/A | Paper |
