The Urysohn extension theorem for Bishop spaces
From MaRDI portal
Publication:5283436
DOI10.1007/978-3-319-27683-0_21zbMATH Open1477.03254OpenAlexW2404532447MaRDI QIDQ5283436FDOQ5283436
Publication date: 21 July 2017
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_21
Recommendations
Other constructive mathematics (03F65) Continuous maps (54C05) Constructive and recursive analysis (03F60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructive set theory
- Quasi-apartness and neighbourhood spaces
- Quasi-topologies
- Apartness and Uniformity
- Two subcategories of apartness spaces
- Title not available (Why is that?)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Concepts of general topology in constructive mathematics and in sheaves
- Reflections on function spaces
- Constructive measure theory
- From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
- Relating Bishop's function spaces to neighbourhood spaces
- Constructive topology of Bishop spaces
- Completely Regular Bishop Spaces
Cited In (7)
- Sets completely separated by functions in Bishop set theory
- Direct spectra of Bishop spaces and their limits
- Proof-relevance in Bishop-style constructive mathematics
- A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces
- 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: The Urysohn extension theorem for Bishop spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283436)
