Completely Regular Bishop Spaces

DOI10.1007/978-3-319-20028-6_31zbMath1461.03058OpenAlexW2270304818MaRDI QIDQ3195709

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)

Related Items (6)

The Urysohn Extension Theorem for Bishop Spaces ⋮ Proof-relevance in Bishop-style constructive mathematics ⋮ A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces ⋮ Direct spectra of Bishop spaces and their limits ⋮ Closed subsets in Bishop topological groups ⋮ Functions of Baire class one over a Bishop topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reflections on function spaces
• Relating Bishop's function spaces to neighbourhood spaces
• Quotient topologies in constructive set theory and type theory
• Constructive Mathematics in Theory and Programming Practice

This page was built for publication: Completely Regular Bishop Spaces