The Urysohn extension theorem for Bishop spaces

DOI10.1007/978-3-319-27683-0_21MaRDI QIDQ5283436zbMATH OpenOpenAlexFDO

Authors Iosif Petrakis

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

zbMATH Keywords

embeddingsconstructive topologyBishop spacesUrysohn extension theorem

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Continuous maps (54C05) Constructive and recursive analysis (03F60)

Recommendations

• Embeddings of Bishop spaces
• Constructive topology of Bishop spaces
• Reflections on function spaces
• Completely regular Bishop spaces
• Relating Bishop's function spaces to neighbourhood spaces

Cites work

• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3325567 (Why is no real title available?)
• Apartness and uniformity. A constructive development.
• Completely regular Bishop spaces
• Concepts of general topology in constructive mathematics and in sheaves
• Constructive measure theory
• Constructive set theory
• Constructive topology of Bishop spaces
• From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Quasi-apartness and neighbourhood spaces
• Quasi-topologies
• Reflections on function spaces
• Relating Bishop's function spaces to neighbourhood spaces
• Two subcategories of apartness spaces

Cited in

(11)

• Sets completely separated by functions in Bishop set theory
• Functions of Baire class one over a Bishop topology
• Borel and Baire sets in Bishop spaces
• Direct spectra of Bishop spaces and their limits
• Constructive topology of Bishop spaces
• Closed subsets in Bishop topological groups
• scientific article; zbMATH DE number 7561488 (Why is no real title available?)
• Completely regular Bishop spaces
• Proof-relevance in Bishop-style constructive mathematics
• Embeddings of Bishop spaces
• A direct constructive proof of a Stone-Weierstrass theorem for metric spaces

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)