1. Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$;Mathematical Logic Quarterly;2023-07-24
2. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. On the decomposition of WKL!!;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
4. Refining the arithmetical hierarchy of classical principles;Mathematical Logic Quarterly;2022-06-09
5. $$\Delta ^0_1$$ variants of the law of excluded middle and related principles;Archive for Mathematical Logic;2022-04-29