36 citations · 143 across the 40 of their papers we have counts for
1 paper · 1 filter
Thierry Coquand, Erik Palmgren, Bas Spitters
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, c…