The following pages link to Completely Regular Bishop Spaces (Q3195709):
Displayed 6 items.
- Closed subsets in Bishop topological groups (Q2084948) (← links)
- Functions of Baire class one over a Bishop topology (Q2106607) (← links)
- A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces (Q3188276) (← links)
- Direct spectra of Bishop spaces and their limits (Q4989398) (← links)
- Proof-relevance in Bishop-style constructive mathematics (Q5055489) (← links)
- The Urysohn Extension Theorem for Bishop Spaces (Q5283436) (← links)