1. Nonstandard proof methods in toposes;Annals of Pure and Applied Logic;2024-05
2. Intuitionistic Mereology II: Overlap and Disjointness;Journal of Philosophical Logic;2023-05-22
3. Logics and admissible rules of constructive set theories;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
4. Radical theory of Scott-open filters;Theoretical Computer Science;2023-02
5. Morse set theory as a foundation for constructive mathematics;Theoretical Computer Science;2022-09