Standard

Degrees of Non-computability of Homeomorphism Types of Polish Spaces. / Hoyrup, Mathieu; Kihara, Takayuki; Selivanov, Victor.

Beyond the Horizon of Computability. 2020. p. 189-192 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12098).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Hoyrup, M, Kihara, T & Selivanov, V 2020, Degrees of Non-computability of Homeomorphism Types of Polish Spaces. in Beyond the Horizon of Computability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12098, pp. 189-192, Twenty Years of Theoretical and Practical Synergies, Amsterdam, Netherlands, 8/07/24. https://doi.org/10.1007/978-3-030-51466-2_16

APA

Hoyrup, M., Kihara, T., & Selivanov, V. (2020). Degrees of Non-computability of Homeomorphism Types of Polish Spaces. In Beyond the Horizon of Computability (pp. 189-192). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12098). https://doi.org/10.1007/978-3-030-51466-2_16

Vancouver

Hoyrup M, Kihara T, Selivanov V. Degrees of Non-computability of Homeomorphism Types of Polish Spaces. In Beyond the Horizon of Computability. 2020. p. 189-192. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-51466-2_16

Author

Hoyrup, Mathieu ; Kihara, Takayuki ; Selivanov, Victor. / Degrees of Non-computability of Homeomorphism Types of Polish Spaces. Beyond the Horizon of Computability. 2020. pp. 189-192 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{98215bbbbce8463283b85f50b86e90ce,
title = "Degrees of Non-computability of Homeomorphism Types of Polish Spaces",
abstract = "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.",
keywords = "Computable Polish space, Computable presentation, Computable topology, Degree spectrum",
author = "Mathieu Hoyrup and Takayuki Kihara and Victor Selivanov",
year = "2020",
month = jan,
day = "1",
doi = "10.1007/978-3-030-51466-2_16",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "189--192",
booktitle = "Beyond the Horizon of Computability",
note = "Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024 ; Conference date: 08-07-2024 Through 12-07-2024",
url = "https://events.illc.uva.nl/CiE/CiE2024/Main/",

}

RIS

TY - GEN

T1 - Degrees of Non-computability of Homeomorphism Types of Polish Spaces

AU - Hoyrup, Mathieu

AU - Kihara, Takayuki

AU - Selivanov, Victor

PY - 2020/1/1

Y1 - 2020/1/1

N2 - 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.

AB - 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.

KW - Computable Polish space

KW - Computable presentation

KW - Computable topology

KW - Degree spectrum

UR - http://www.scopus.com/inward/record.url?scp=85088209405&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-51466-2_16

DO - 10.1007/978-3-030-51466-2_16

M3 - Conference contribution

AN - SCOPUS:85088209405

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 189

EP - 192

BT - Beyond the Horizon of Computability

T2 - Twenty Years of Theoretical and Practical Synergies

Y2 - 8 July 2024 through 12 July 2024

ER -

ID: 126995072