Borel and Baire sets in Bishop spaces

DOI10.1007/978-3-030-22996-2_21MaRDI QIDQ2179367zbMATH OpenOpenAlexFDO

Authors Iosif Petrakis

Publication date 12 May 2020

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• Constructive topology of Bishop spaces
• scientific article; zbMATH DE number 4011417
• Completely regular Bishop spaces
• Embeddings of Bishop spaces
• The Urysohn extension theorem for Bishop spaces

Cited in

(7)

• scientific article; zbMATH DE number 5146657 (Why is no real title available?)
• Sets completely separated by functions in Bishop set theory
• Direct spectra of Bishop spaces and their limits
• Proof-relevance in Bishop-style constructive mathematics
• scientific article; zbMATH DE number 7561488 (Why is no real title available?)
• Functions of Baire class one over a Bishop topology
• Closed subsets in Bishop topological groups

This page was built for publication: Borel and Baire sets in Bishop spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2179367)