The following pages link to Embeddings of Bishop spaces (Q5108029):
Displaying 12 items.
- 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)
- On the Bishop invariants of embeddings of \(S^{3}\) into \(\mathbb C^{3}\) (Q2444865) (← links)
- Constructive topology of Bishop spaces (Q2794832) (← links)
- Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability (Q3159421) (← links)
- Direct spectra of Bishop spaces and their limits (Q4989398) (← links)
- Proof-relevance in Bishop-style constructive mathematics (Q5055489) (← links)
- (Q5224157) (← 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)
