Standard

Towards the effective descriptive set theory. / Selivanov, Victor.

Evolving Computability (CiE 2015). 2015. p. 324-333 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9136).

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

Harvard

Selivanov, V 2015, Towards the effective descriptive set theory. in Evolving Computability (CiE 2015). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9136, pp. 324-333, computability in europe-2015, 29/06/15. https://doi.org/10.1007/978-3-319-20028-6_33

APA

Selivanov, V. (2015). Towards the effective descriptive set theory. In Evolving Computability (CiE 2015) (pp. 324-333). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9136). https://doi.org/10.1007/978-3-319-20028-6_33

Vancouver

Selivanov V. Towards the effective descriptive set theory. In Evolving Computability (CiE 2015). 2015. p. 324-333. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-20028-6_33

Author

Selivanov, Victor. / Towards the effective descriptive set theory. Evolving Computability (CiE 2015). 2015. pp. 324-333 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{eb12d6019e324e8b8fc5fa73db83ebcd,
title = "Towards the effective descriptive set theory",
abstract = "We prove effective versions of some classical results about measurable functions and derive from this extensions of the Suslin-Kleene theorem, and of the effective Hausdorff theorem for the computable Polish spaces (this was established in [2] with a different proof) and for the computable ω-continuous domains (this answers an open question from [2]).",
keywords = "Computable Polish space, Computable ω-continuous domain, Effective Hausdorff theorem, Effective hierarchy, Suslin-Kleene theorem, Weakly computable cb -space 0",
author = "Victor Selivanov",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-20028-6_33",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "324--333",
booktitle = "Evolving Computability (CiE 2015)",
note = "computability in europe-2015 ; Conference date: 29-06-2015",

}

RIS

TY - GEN

T1 - Towards the effective descriptive set theory

AU - Selivanov, Victor

PY - 2015/1/1

Y1 - 2015/1/1

N2 - We prove effective versions of some classical results about measurable functions and derive from this extensions of the Suslin-Kleene theorem, and of the effective Hausdorff theorem for the computable Polish spaces (this was established in [2] with a different proof) and for the computable ω-continuous domains (this answers an open question from [2]).

AB - We prove effective versions of some classical results about measurable functions and derive from this extensions of the Suslin-Kleene theorem, and of the effective Hausdorff theorem for the computable Polish spaces (this was established in [2] with a different proof) and for the computable ω-continuous domains (this answers an open question from [2]).

KW - Computable Polish space

KW - Computable ω-continuous domain

KW - Effective Hausdorff theorem

KW - Effective hierarchy

KW - Suslin-Kleene theorem

KW - Weakly computable cb -space 0

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

U2 - 10.1007/978-3-319-20028-6_33

DO - 10.1007/978-3-319-20028-6_33

M3 - Conference contribution

AN - SCOPUS:84950148490

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

SP - 324

EP - 333

BT - Evolving Computability (CiE 2015)

T2 - computability in europe-2015

Y2 - 29 June 2015

ER -

ID: 127084851