Functions of Baire class one over a Bishop topology
From MaRDI portal
Publication:2106607
DOI10.1007/978-3-030-51466-2_19OpenAlexW3037297145MaRDI QIDQ2106607
Publication date: 16 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-51466-2_19
Related Items (3)
Proof-relevance in Bishop-style constructive mathematics ⋮ Direct spectra of Bishop spaces and their limits ⋮ Closed subsets in Bishop topological groups
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reflections on function spaces
- Techniques of constructive analysis
- Spaces of Baire functions. I
- Relating Bishop's function spaces to neighbourhood spaces
- Borel and Baire sets in Bishop spaces
- A Classification of Baire Class 1 Functions
- Completely Regular Bishop Spaces
- Constructive set theory
- A constructive function-theoretic approach to topological compactness
- Direct spectra of Bishop spaces and their limits
- Embeddings of Bishop spaces
- The Urysohn Extension Theorem for Bishop Spaces
- Continuity and Baire Functions
- On Rings of Baire one functions
This page was built for publication: Functions of Baire class one over a Bishop topology