Degrees of Non-computability of Homeomorphism Types of Polish Spaces

There are continuum many homeomorphism types of Polish spaces. In particular, there is a Polish space which is not homeomorphic to any computably presented Polish space. We examine the details of degrees of non-computability of presenting homeomorphic copies of Polish spaces.

Detalles Bibliográficos
Autores principales: Hoyrup, Mathieu, Kihara, Takayuki, Selivanov, Victor
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7309475/
http://dx.doi.org/10.1007/978-3-030-51466-2_16
Descripción
Sumario:There are continuum many homeomorphism types of Polish spaces. In particular, there is a Polish space which is not homeomorphic to any computably presented Polish space. We examine the details of degrees of non-computability of presenting homeomorphic copies of Polish spaces.

Ejemplares similares