Point-free characterisation of Bishop compact metric spaces

DOI10.4115/JLA.2017.9.5zbMath1388.03060OpenAlexW2612682846MaRDI QIDQ2987773

Tatsuji Kawai

Publication date: 18 May 2017

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4115/jla.2017.9.5

zbMATH Keywords

compact metric spacesformal topologiesBishop constructive mathematicslocalic completion

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames, locales (06D22) Compact (locally compact) metric spaces (54E45) Nonclassical and second-order set theories (03E70)

This page was built for publication: Point-free characterisation of Bishop compact metric spaces