Metric complements of overt closed sets

DOI10.1002/MALQ.201010011MaRDI QIDQ3170557zbMATHOpenAlexFDO

Authors Thierry Coquand, Erik Palmgren, Bas Spitters

Publication date 27 September 2011

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0906.3433

zbMATH Keywords

localesformal topologyconstructive analysis

Mathematics Subject Classification ID

Frames, locales (06D22) Constructive and recursive analysis (03F60) Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures (28C05)

Abstract: 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.

Recommendations

• Locatedness and overt sublocales
• A point-free characterisation of Bishop locally compact metric spaces
• Point-free characterisation of Bishop compact metric spaces
• Cauchy Points of Metric Locales
• Localic completion of generalized metric spaces. II: Powerlocales

Cites work

• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 2222240 (Why is no real title available?)
• A constructive and functorial embedding of locally compact metric spaces into locales
• Locatedness and overt sublocales
• Open sublocales of localic completions
• Some points in formal topology.

Cited in

(2)

• A point-free characterisation of Bishop locally compact metric spaces
• Locatedness and overt sublocales

This page was built for publication: Metric complements of overt closed sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3170557)