Effective Borel degrees of some topological functions

Mathematical Logic Quarterly 52 (6):625-642 (2006)


The focus of this paper is the incomputability of some topological functions using the tools of Borel computability theory, as introduced by V. Brattka in [3] and [4]. First, we analyze some basic topological functions on closed subsets of ℝn, like closure, border, intersection, and derivative, and we prove for such functions results of Σ02-completeness and Σ03-completeness in the effective Borel hierarchy. Then, following [13], we re-consider two well-known topological results: the lemmas of Urysohn and Urysohn-Tietze for generic metric spaces . Both lemmas define Σ02-computable functions which in some cases are even Σ02-complete

Download options


    Upload a copy of this work     Papers currently archived: 72,722

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

15 (#704,106)

6 months
1 (#387,390)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Effective Borel Measurability and Reducibility of Functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.

Add more references

Citations of this work

Add more citations

Similar books and articles