Standard

Ideal presentations and numberings of some classes of effective quasi-Polish spaces. / Селиванов, Виктор Львович; de Brecht, Matthew; Kihara, Takayuki.

In: Computability, Vol. 13, No. 3-4, 2024, p. 325-348.

Research output: Contribution to journal › Article › peer-review

Harvard

Селиванов, ВЛ, de Brecht, M & Kihara, T 2024, 'Ideal presentations and numberings of some classes of effective quasi-Polish spaces', Computability, vol. 13, no. 3-4, pp. 325-348. https://doi.org/10.3233/COM-230442

APA

Селиванов, В. Л., de Brecht, M., & Kihara, T. (2024). Ideal presentations and numberings of some classes of effective quasi-Polish spaces. Computability, 13(3-4), 325-348. https://doi.org/10.3233/COM-230442

Vancouver

Селиванов ВЛ, de Brecht M, Kihara T. Ideal presentations and numberings of some classes of effective quasi-Polish spaces. Computability. 2024;13(3-4):325-348. https://doi.org/10.3233/COM-230442

Author

Селиванов, Виктор Львович ; de Brecht, Matthew ; Kihara, Takayuki. / Ideal presentations and numberings of some classes of effective quasi-Polish spaces. In: Computability. 2024 ; Vol. 13, No. 3-4. pp. 325-348.

BibTeX

@article{62f64fd370534144a81ef9d8498d38ba,
title = "Ideal presentations and numberings of some classes of effective quasi-Polish spaces",
abstract = "The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an effective version of the domain-characterization of quasi-Polish spaces, describe effective extensions of quasi-Polish topologies, discover natural numberings of classes of effective quasi-Polish spaces, estimate the complexity of the (effective) homeomorphism relation and of some classes of spaces with respect to these numberings, and investigate degree spectra of continuous domains.",
author = "Селиванов, {Виктор Львович} and {de Brecht}, Matthew and Takayuki Kihara",
note = "Matthew de Brecht, Takayuki Kihara, Victor Selivanov. Ideal presentations and numberings of some classes of effective quasi-Polish spaces. Computability, 13 (2024), DOI: 10.3233/COM-230442, vol. Pre-press, no. Pre-press, pp. 1-24, 2024",
year = "2024",
doi = "10.3233/COM-230442",
language = "English",
volume = "13",
pages = "325--348",
journal = "Computability",
issn = "2211-3568",
publisher = "IOS Press",
number = "3-4",

}

RIS

TY - JOUR

T1 - Ideal presentations and numberings of some classes of effective quasi-Polish spaces

AU - Селиванов, Виктор Львович

AU - de Brecht, Matthew

AU - Kihara, Takayuki

N1 - Matthew de Brecht, Takayuki Kihara, Victor Selivanov. Ideal presentations and numberings of some classes of effective quasi-Polish spaces. Computability, 13 (2024), DOI: 10.3233/COM-230442, vol. Pre-press, no. Pre-press, pp. 1-24, 2024

PY - 2024

Y1 - 2024

N2 - The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an effective version of the domain-characterization of quasi-Polish spaces, describe effective extensions of quasi-Polish topologies, discover natural numberings of classes of effective quasi-Polish spaces, estimate the complexity of the (effective) homeomorphism relation and of some classes of spaces with respect to these numberings, and investigate degree spectra of continuous domains.

AB - The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an effective version of the domain-characterization of quasi-Polish spaces, describe effective extensions of quasi-Polish topologies, discover natural numberings of classes of effective quasi-Polish spaces, estimate the complexity of the (effective) homeomorphism relation and of some classes of spaces with respect to these numberings, and investigate degree spectra of continuous domains.

UR - https://www.mendeley.com/catalogue/69d7ef10-719f-3dde-9247-6d2dc913b421/

U2 - 10.3233/COM-230442

DO - 10.3233/COM-230442

M3 - Article

VL - 13

SP - 325

EP - 348

JO - Computability

JF - Computability

SN - 2211-3568

IS - 3-4

ER -

ID: 126988688