The Urysohn Extension Theorem for Bishop Spaces

DOI10.1007/978-3-319-27683-0_21zbMath1477.03254OpenAlexW2404532447MaRDI QIDQ5283436

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

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

Related Items (6)

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 ⋮ Unnamed Item ⋮ Closed subsets in Bishop topological groups ⋮ Functions of Baire class one over a Bishop topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reflections on function spaces
• Two subcategories of apartness spaces
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Relating Bishop's function spaces to neighbourhood spaces
• Quasi-apartness and neighbourhood spaces
• Quasi-topologies
• Apartness and Uniformity
• Completely Regular Bishop Spaces
• From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
• Concepts of general topology in constructive mathematics and in sheaves
• Constructive set theory
• Constructive measure theory

This page was built for publication: The Urysohn Extension Theorem for Bishop Spaces