scientific article; zbMATH DE number 1746049

MaRDI QIDQ4531998zbMATH OpenFDO

Authors Klaus Weihrauch

Publication date 27 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2064/20640357

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Theory of numerations, effectively presented structures (03D45) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Higher-type and set recursion theory (03D65)

Recommendations

• Logical Approaches to Computational Barriers
• Computability on computable metric spaces
• A short proof of the Tietze-Urysohn extension theorem
• An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract)
• Effective properties of sets and functions in metric spaces with computability structure

Cited in

(14)

• Computable Polish group actions
• How incomputable is the separable Hahn-Banach theorem?
• An effective Tietze-Urysohn theorem for QCB-spaces
• Borel complexity and computability of the Hahn-Banach theorem
• Effective Borel degrees of some topological functions
• Computable topological groups and Pontryagin duality
• Moschovakis extension of represented spaces
• Computable metrization
• Computable Measure Theory and Algorithmic Randomness
• Computable de Finetti measures
• Logical Approaches to Computational Barriers
• Simple equations on real intervals
• Schnorr randomness for noncomputable measures
• An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531998)