1. Well Partial Orders;Outstanding Contributions to Logic;2024
2. The uniform Kruskal theorem: between finite combinatorics and strong set existence;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. Some independence results related to finite trees;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
4. Normal functions and maximal order types;Journal of Logic and Computation;2023-02-16
5. Fusible numbers and Peano Arithmetic;Logical Methods in Computer Science;2022-07-28