1. Pathwise-randomness and models of second-order arithmetic;Information and Computation;2024-08
2. Definitions (and Concepts) in Mathematical Practice;Handbook of the History and Philosophy of Mathematical Practice;2024
3. Sequentially compact and compactly generated groups;2023 International Conference on Information Technology (ICIT);2023-08-09
4. Compactness;A Comprehensive Textbook on Metric Spaces;2023
5. Compact Spaces;UNITEXT;2022