Borel and Baire sets in Bishop spaces

DOI10.1007/978-3-030-22996-2_21zbMath1434.03142OpenAlexW2955537867MaRDI QIDQ2179367

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)

Related Items (5)

Proof-relevance in Bishop-style constructive mathematics ⋮ Direct spectra of Bishop spaces and their limits ⋮ Unnamed Item ⋮ Closed subsets in Bishop topological groups ⋮ Functions of Baire class one over a Bishop topology

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