1. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES;The Bulletin of Symbolic Logic;2023-07-26
2. On the decomposition of WKL!!;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. Classical consequences of constructive systems;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