| Publication | Date of Publication | Type |
|---|
Weak well orders and Fraïssé's conjecture
The Journal of Symbolic Logic | 2026-02-12 | Paper |
Higman's lemma is stronger for better quasi orders
Order | 2025-01-15 | Paper |
The logical strength of minimal bad arrays
Proceedings of the American Mathematical Society | 2025-01-08 | Paper |
Normal functions and maximal order types
Journal Of Logic And Computation | 2024-11-12 | Paper |
Well ordering principles for iterated \(\Pi^1_1\)-comprehension
Selecta Mathematica. New Series | 2023-10-30 | Paper |
| An Introduction to Mathematical Logic | 2023-10-15 | Paper |
What is effective transfinite recursion in reverse mathematics?
Mathematical Logic Quarterly | 2023-09-12 | Paper |
A note on ordinal exponentiation and derivatives of normal functions
Mathematical Logic Quarterly | 2023-09-11 | Paper |
On the logical strength of the better quasi order with three elements
Transactions of the American Mathematical Society | 2023-08-28 | Paper |
Bachmann-Howard derivatives
Archive for Mathematical Logic | 2023-06-05 | Paper |
| Provable better quasi orders | 2023-05-01 | Paper |
Bounds for a nonlinear ergodic theorem for Banach spaces
Ergodic Theory and Dynamical Systems | 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
The Review of Symbolic Logic | 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
Proceedings of the American Mathematical Society | 2022-07-08 | Paper |
A uniform characterization of \(\Sigma_1\)-reflection over the fragments of Peano arithmetic
Proof and Computation II | 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
Advances in Mathematics | 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
Selecta Mathematica. New Series | 2022-01-04 | Paper |
| Reverse mathematics of a uniform Kruskal-Friedman theorem | 2021-12-16 | Paper |
WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
Journal of Symbolic Logic | 2021-10-27 | Paper |
Ackermann and Goodstein go functorial
Pacific Journal of Mathematics | 2021-10-19 | Paper |
Ackermann and Goodstein go functorial
Pacific Journal of Mathematics | 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
Mathematical Structures in Computer Science | 2021-05-14 | Paper |
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
Journal of Symbolic Logic | 2021-01-29 | Paper |
Patterns of resemblance and Bachmann-Howard fixed points
(available as arXiv preprint) | 2020-12-18 | Paper |
Derivatives of normal functions in reverse mathematics
Annals of Pure and Applied Logic | 2020-12-15 | Paper |
Ackermann and Goodstein go functorial
(available as arXiv preprint) | 2020-11-06 | Paper |
Computable aspects of the Bachmann-Howard principle
Journal of Mathematical Logic | 2020-09-04 | Paper |
Set-theoretic reflection is equivalent to induction over well-founded classes
Proceedings of the American Mathematical Society | 2020-08-20 | 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 |
Predicative collapsing principles
Journal of Symbolic Logic | 2020-04-17 | Paper |
A mathematical commitment without computational strength
(available as arXiv preprint) | 2020-04-15 | Paper |
From Kruskal's theorem to Friedman's gap condition
(available as arXiv preprint) | 2020-03-05 | Paper |
Minimal bad sequences are necessary for a uniform Kruskal theorem
(available as arXiv preprint) | 2020-01-17 | Paper |
A categorical construction of Bachmann–Howard fixed points
Bulletin of the London Mathematical Society | 2019-12-11 | Paper |
\(\Pi_1^1\)-comprehension as a well-ordering principle
Advances in Mathematics | 2019-09-19 | Paper |
A note on iterated consistency and infinite proofs
Archive for Mathematical Logic | 2019-03-27 | Paper |
Slow reflection
Annals of Pure and Applied Logic | 2017-09-29 | Paper |
Proof lengths for instances of the Paris-Harrington principle
Annals of Pure and Applied Logic | 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
Annals of Mathematics and Artificial Intelligence | 2015-06-18 | Paper |
Dilators and the reverse mathematics zoo
(available as arXiv preprint) | N/A | Paper |
