Pages that link to "Item:Q2794832"

The following pages link to Constructive topology of Bishop spaces (Q2794832):

Displaying 15 items.

• Reflections on function spaces (Q651312) (← links)
• Relating Bishop's function spaces to neighbourhood spaces (Q1942042) (← links)
• Closed subsets in Bishop topological groups (Q2084948) (← links)
• Algebras of complemented subsets (Q2104273) (← links)
• Functions of Baire class one over a Bishop topology (Q2106607) (← links)
• Compactly generated spaces and quasi-spaces in topology (Q2198606) (← links)
• A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← 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)
• (Q5091143) (← links)
• Embeddings of Bishop spaces (Q5108029) (← links)
• The Urysohn Extension Theorem for Bishop Spaces (Q5283436) (← links)
• Sets completely separated by functions in Bishop set theory (Q6589312) (← links)
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory (Q6635512) (← links)