Functions of Baire class one over a Bishop topology

DOI10.1007/978-3-030-51466-2_19OpenAlexW3037297145MaRDI QIDQ2106607

Iosif Petrakis

Publication date: 16 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-51466-2_19

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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