An Effective Tietze-Urysohn Theorem for QCB-Spaces

DOI10.1016/J.ENTCS.2008.12.020zbMath1262.03147OpenAlexW2330356488MaRDI QIDQ4918018

Matthias Schröder

Publication date: 3 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.020

zbMATH Keywords

topological spacescomputable analysisQCB-spaces

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Real-valued functions in general topology (54C30) Computation over the reals, computable analysis (03D78)

Cites Work

• Extended admissibility.
• On k-spaces, k\(_R\)-spaces and k(X)
• A Convenient Category of Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Effective Tietze-Urysohn Theorem for QCB-Spaces