Towards the effective descriptive set theory

DOI

https://doi.org/10.1007/978-3-319-20028-6_33
Final published version

Victor Selivanov

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]).

Original language	English
Title of host publication	Evolving Computability (CiE 2015)
Pages	324-333
Number of pages	10
DOIs	https://doi.org/10.1007/978-3-319-20028-6_33
State	Published - 1 Jan 2015
Event	computability in europe-2015 - Duration: 29 Jun 2015 → …

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Nature
Volume	9136
ISSN (Print)	0302-9743

Conference

Conference	computability in europe-2015
Period	29/06/15 → …

Research areas

Computable Polish space, Computable ω-continuous domain, Effective Hausdorff theorem, Effective hierarchy, Suslin-Kleene theorem, Weakly computable cb -space 0

ID: 127084851