An Effective Tietze-Urysohn Theorem for QCB-Spaces
From MaRDI portal
Publication:4918018
DOI10.1016/j.entcs.2008.12.020zbMath1262.03147MaRDI QIDQ4918018
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
03F60: Constructive and recursive analysis
54D15: Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.)
54C30: Real-valued functions in general topology
03D78: Computation over the reals, computable analysis
Cites Work