Standard

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

Evolving Computability (CiE 2015). 2015. стр. 324-333 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 9136).

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

Harvard

Selivanov, V 2015, Towards the effective descriptive set theory. в Evolving Computability (CiE 2015). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том. 9136, стр. 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. в Evolving Computability (CiE 2015) (стр. 324-333). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 9136). https://doi.org/10.1007/978-3-319-20028-6_33

Vancouver

Selivanov V. Towards the effective descriptive set theory. в Evolving Computability (CiE 2015). 2015. стр. 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. стр. 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