Relating Bishop's function spaces to neighbourhood spaces

DOI10.1016/j.apal.2012.10.009zbMath1275.03163OpenAlexW2077034249MaRDI QIDQ1942042

Hajime Ishihara

Publication date: 15 March 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.009

zbMATH Keywords

completenessconstructive mathematicsuniform spacefunction spacecocompletenessadjunctionconstructive topologyneighbourhood space

Mathematics Subject Classification ID

Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)

Related Items (7)

The Urysohn Extension Theorem for Bishop Spaces ⋮ A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces ⋮ Direct spectra of Bishop spaces and their limits ⋮ Completely Regular Bishop Spaces ⋮ Unnamed Item ⋮ Closed subsets in Bishop topological groups ⋮ Functions of Baire class one over a Bishop topology

This page was built for publication: Relating Bishop's function spaces to neighbourhood spaces