Standard

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

Beyond the Horizon of Computability. 2020. стр. 189-192 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 12098).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Harvard

Hoyrup, M, Kihara, T & Selivanov, V 2020, Degrees of Non-computability of Homeomorphism Types of Polish Spaces. в Beyond the Horizon of Computability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том. 12098, стр. 189-192, Twenty Years of Theoretical and Practical Synergies, Amsterdam, Нидерланды, 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. в Beyond the Horizon of Computability (стр. 189-192). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 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. в Beyond the Horizon of Computability. 2020. стр. 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. стр. 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