Metric complements of overt closed sets
2011 (English)In: Mathematical logic quarterly, ISSN 0942-5616, E-ISSN 1521-3870, Vol. 57, no 4, 373-378 p.Article in journal (Refereed) Published
We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop-compact.
Place, publisher, year, edition, pages
2011. Vol. 57, no 4, 373-378 p.
Constructive analysis, locales, formal topology
IdentifiersURN: urn:nbn:se:uu:diva-156466DOI: 10.1002/malq.201010011ISI: 000292551700003OAI: oai:DiVA.org:uu-156466DiVA: diva2:431995