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

Constructive analysis

formal topology

Författare

Thierry Coquand

Göteborgs universitet

E. Palmgren

Uppsala Universitet

Swedish Collegium for Advanced Study (SCAS)

Bas Spitters

Radboud University Nijmegen

Mathematical Logic Quarterly

0942-5616 (ISSN) 1521-3870 (eISSN)

Vol. 57 373-378

Ämneskategorier

Annan matematik

DOI

10.1002/malq.201010011