Point-free characterisation of Bishop compact metric spaces
From MaRDI portal
Publication:2987773
DOI10.4115/JLA.2017.9.5zbMath1388.03060OpenAlexW2612682846MaRDI QIDQ2987773
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
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