scientific article; zbMATH DE number 1746049
From MaRDI portal
Publication:4531998
zbMATH Open0985.03033MaRDI QIDQ4531998FDOQ4531998
Authors: Klaus Weihrauch 
Publication date: 27 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2064/20640357
Title of this publication is not available (Why is that?)
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
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)
Cited In (14)
- How incomputable is the separable Hahn-Banach theorem?
- An effective Tietze-Urysohn theorem for QCB-spaces
- Effective Borel degrees of some topological functions
- Borel complexity and computability of the Hahn-Banach theorem
- Computable topological groups and Pontryagin duality
- Moschovakis extension of represented spaces
- Computable metrization
- Computable Measure Theory and Algorithmic Randomness
- Logical Approaches to Computational Barriers
- Computable de Finetti measures
- Simple equations on real intervals
- Schnorr randomness for noncomputable measures
- An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract)
- Computable Polish group actions
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)
