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