Metric complements of overt closed sets

DOI10.1002/MALQ.201010011zbMATH Open1251.03084arXiv0906.3433OpenAlexW3099142610MaRDI QIDQ3170557FDOQ3170557

Authors: Thierry Coquand, Erik Palmgren, Bas Spitters 

Publication date: 27 September 2011

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Some points in formal topology.
• A constructive and functorial embedding of locally compact metric spaces into locales
• Open sublocales of localic completions
• Locatedness and overt sublocales

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)