Metric complements of overt closed sets
Journal article, 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

Author

Thierry Coquand

University of Gothenburg

E. Palmgren

Uppsala University

Swedish Collegium for Advanced Study (SCAS)

Bas Spitters

Radboud University

Mathematical Logic Quarterly

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

Vol. 57 4 373-378

Subject Categories

Other Mathematics

DOI

10.1002/malq.201010011

More information

Latest update

2/28/2018