Completely regular Bishop spaces

DOI10.1007/978-3-319-20028-6_31MaRDI QIDQ3195709zbMATH OpenOpenAlexFDO

Authors Iosif Petrakis

Publication date 20 October 2015

Published in Evolving Computability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-20028-6_31

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• Constructive topology of Bishop spaces
• A constructive function-theoretic approach to topological compactness
• The Urysohn extension theorem for Bishop spaces
• Embeddings of Bishop spaces
• Relating Bishop's function spaces to neighbourhood spaces

Cites work

• Constructive Mathematics in Theory and Programming Practice
• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Quotient topologies in constructive set theory and type theory
• Reflections on function spaces
• Relating Bishop's function spaces to neighbourhood spaces

Cited in

(14)

• Closed subsets in Bishop topological groups
• Functions of Baire class one over a Bishop topology
• Borel and Baire sets in Bishop spaces
• Dieudonné complete bispaces
• Constructive topology of Bishop spaces
• A direct constructive proof of a Stone-Weierstrass theorem for metric spaces
• A constructive function-theoretic approach to topological compactness
• Direct spectra of Bishop spaces and their limits
• Proof-relevance in Bishop-style constructive mathematics
• Embeddings of Bishop spaces
• Bishop's lemma
• The Urysohn extension theorem for Bishop spaces
• Reflections on function spaces
• Sets completely separated by functions in Bishop set theory

This page was built for publication: Completely regular Bishop spaces

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