Enumeration degrees and non-metrizable topology

arXiv1904.04107MaRDI QIDQ6316894FDOQ6316894

Authors: Takayuki Kihara, Keng Meng Ng, Arno Pauly 

Publication date: 8 April 2019

Abstract: The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $omega$-power of the Sierpi'nski space). Hence, every represented second-countable $T_0$-space determines a collection of enumeration degrees. For instance, Cantor space captures the total degrees, and the Hilbert cube captures the continuous degrees by definition. Based on these observations, we utilize general topology (particularly non-metrizable topology) to establish a classification theory of enumeration degrees of sets of natural numbers.

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Topological spaces and generalizations (closure spaces, etc.) (54A05) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Counterexamples in general topology (54G20) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

This page was built for publication: Enumeration degrees and non-metrizable topology

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