1 research outputs found
Metric complements of overt closed sets
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.Comment: 9 pages, 1 figur