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 373-378

Ämneskategorier

Annan matematik

DOI

10.1002/malq.201010011