1. SOME CONSEQUENCES OF AND;The Journal of Symbolic Logic;2023-05-15
2. Lawvere-Tierney topologies for computability theorists;Transactions of the American Mathematical Society, Series B;2023-01-23
3. STRUCTURAL HIGHNESS NOTIONS;The Journal of Symbolic Logic;2022-04-28
4. Point Degree Spectra of Represented Spaces;Forum of Mathematics, Sigma;2022
5. LUZIN’S (N) AND RANDOMNESS REFLECTION;The Journal of Symbolic Logic;2020-10-30