%0 Journal Article
%T Metric complements of overt closed sets
%A Thierry Coquand
%A Erik Palmgren
%A Bas Spitters
%J Mathematics
%D 2009
%I arXiv
%R 10.1002/malq.201010011
%X 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.
%U http://arxiv.org/abs/0906.3433v1