Computability on computable metric spaces
Theoretical Computer Science
Computability on subsets of Euclidean space I: closed and compact subsets
Theoretical Computer Science - Special issue on computability and complexity in analysis
Effective properties of sets and functions in metric spaces with computability structure
Theoretical Computer Science - Special issue on computability and complexity in analysis
Computable analysis: an introduction
Computable analysis: an introduction
How Incomputable is the Separable Hahn-Banach Theorem?
Electronic Notes in Theoretical Computer Science (ENTCS)
An Effective Tietze-Urysohn Theorem for QCB-Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Borel Complexity of Hahn-Banach Extensions
Electronic Notes in Theoretical Computer Science (ENTCS)
An analysis of the lemmas of urysohn and urysohn-tietze according to effective borel measurability
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Hi-index | 0.00 |
In this paper we prove computable versions of Urysohn's lemma and the Tietze-Urysohn extension theorem for computable metric spaces. We use the TTE approach to computable analysis [KW85,Wei00] where objects are represented by finite or infinite sequences of symbols and computations transform sequences of symbols to sequences of symbols. The theorems hold for standard representations of the metric space, the set of real numbers, the set of closed subsets and the set of continuous functions. We show that there are computable procedures determining the continuous functions from the initial data (closed sets, continuous functions). The paper generalizes results by Yasugi, Mori and Tsujii [YMT99] in two ways: (1) The Tietze-Urysohn extension applies not only to "strictly effectively 驴-compact co-r.e." sets but to all co-r.e. closed sets. (2) Not only computable functions exist for computable sets and functions, respectively, but there are computable procedures which determine continuous functions from arbitrary closed sets and continuous functions, respectively. These procedures, however, are not extensional on the names under consideration, and so they induce merely multi-valued computable functions on the objects.