1. Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics;Computability;2024-04-02
2. Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$;Mathematical Logic Quarterly;2023-07-24
3. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
4. On the decomposition of WKL!!;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
5. Refining the arithmetical hierarchy of classical principles;Mathematical Logic Quarterly;2022-06-09