Degrees of Non-computability of Homeomorphism Types of Polish Spaces

DOI

https://doi.org/10.1007/978-3-030-51466-2_16
Final published version

Mathieu Hoyrup
Takayuki Kihara
Victor Selivanov

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.

Original language	English
Title of host publication	Beyond the Horizon of Computability
Pages	189-192
Number of pages	4
DOIs	https://doi.org/10.1007/978-3-030-51466-2_16
State	Published - 1 Jan 2020
Event	Twenty Years of Theoretical and Practical Synergies: 20th Conference on Computability in Europe - Amsterdam University College, Amsterdam, Netherlands Duration: 8 Jul 2024 → 12 Jul 2024 https://events.illc.uva.nl/CiE/CiE2024/Main/

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Nature
Volume	12098
ISSN (Print)	0302-9743

Conference

Conference	Twenty Years of Theoretical and Practical Synergies
Abbreviated title	CiE 2024
Country/Territory	Netherlands
City	Amsterdam
Period	8/07/24 → 12/07/24
Internet address	https://events.illc.uva.nl/CiE/CiE2024/Main/

Research areas

Computable Polish space, Computable presentation, Computable topology, Degree spectrum

ID: 126995072