Mathematics – Logic
Scientific paper
2009-06-18
Mathematical Logic Quarterly, 57(4), 373-378, 2011
Mathematics
Logic
9 pages, 1 figure
Scientific paper
10.1002/malq.201010011
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.
Coquand Thierry
Palmgren Erik
Spitters Bas
No associations
LandOfFree
Metric complements of overt closed sets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Metric complements of overt closed sets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Metric complements of overt closed sets will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-725768