Effective Borel degrees of some topological functions
Copyright policy )Effective Borel degrees of some topological functions
AbstractThe focus of this paper is the incomputability of some topological functions (with respect to certain representations) 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 (for the latter we refer to the proof given by Dieudonné). Both lemmas define Σ02‐computable functions which in some cases are even Σ02‐complete. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
computable analysis, Borel computability, Tietze-Urysohn Lemma, Urysohn Lemma, Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets, Computable analysis, Borel computability, Urysohn Lemma, Tietze-Urysohn Lemma, Descriptive set theory, Theory of numerations, effectively presented structures, Constructive and recursive analysis, Extension of maps
computable analysis, Borel computability, Tietze-Urysohn Lemma, Urysohn Lemma, Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets, Computable analysis, Borel computability, Urysohn Lemma, Tietze-Urysohn Lemma, Descriptive set theory, Theory of numerations, effectively presented structures, Constructive and recursive analysis, Extension of maps
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).4 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!