Borel and Baire sets in Bishop spaces

DOI10.1007/978-3-030-22996-2_21zbMATH Open1434.03142OpenAlexW2955537867MaRDI QIDQ2179367FDOQ2179367

Authors: Iosif Petrakis 

Publication date: 12 May 2020

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

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Cited In (7)

• Sets completely separated by functions in Bishop set theory
• Title not available (Why is that?)
• Direct spectra of Bishop spaces and their limits
• Proof-relevance in Bishop-style constructive mathematics
• Title not available (Why is that?)
• 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)