Metric complements of overt closed sets
From MaRDI portal
Publication:3170557
DOI10.1002/malq.201010011zbMath1251.03084arXiv0906.3433OpenAlexW3099142610MaRDI QIDQ3170557
Erik Palmgren, Thierry Coquand, 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
Constructive and recursive analysis (03F60) Frames, locales (06D22) Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures (28C05)
Related Items (2)
Locatedness and overt sublocales ⋮ A point-free characterisation of Bishop locally compact metric spaces
Cites Work
This page was built for publication: Metric complements of overt closed sets