Metric complements of overt closed sets
Artikel i vetenskaplig tidskrift, 2011
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.
locales
formal topology
formal topology
Constructive analysis
Författare
Thierry Coquand
Göteborgs universitet
E. Palmgren
Uppsala universitet
Swedish Collegium for Advanced Study (SCAS)
Bas Spitters
Radboud Universiteit
Mathematical Logic Quarterly
0942-5616 (ISSN) 1521-3870 (eISSN)
Vol. 57 4 373-378Ämneskategorier (SSIF 2011)
Annan matematik
DOI
10.1002/malq.201010011