Formal continuity implies uniform continuity near compact images on metric spaces
2014 (English)In: Mathematical logic quarterly, ISSN 0942-5616, E-ISSN 1521-3870, Vol. 60, no 1-2, 66-69 p.Article in journal (Refereed) Published
The localic completion of a metric space induces a canonical notion of continuous map between metric spaces. It is shown that these maps are continuous in the sense of Bishop constructive mathematics, i.e., uniformly continuous near every compact image.
Place, publisher, year, edition, pages
2014. Vol. 60, no 1-2, 66-69 p.
Algebra and Logic
Research subject Mathematical Logic
IdentifiersURN: urn:nbn:se:su:diva-102028DOI: 10.1002/malq.201200006ISI: 000331901500009OAI: oai:DiVA.org:su-102028DiVA: diva2:706842