Kawai, Tatsuji, Japan Advanced Institute of Science and Technology, Japan
-
Vol 9 (2017) - Articles
A point-free characterisation of Bishop locally compact metric spaces
Abstract C2. [PDF] -
Vol 9 (2017) - Articles
Point-free characterisation of Bishop compact metric spaces
Abstract 5. [PDF] -
Vol 11 (2019) - Articles
Principles of bar induction and continuity on Baire space
Abstract FT3. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008