DOI

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]).
Язык оригиналаанглийский
Название основной публикацииEvolving Computability (CiE 2015)
Страницы324-333
Число страниц10
DOI
СостояниеОпубликовано - 1 янв 2015
Событиеcomputability in europe-2015 -
Продолжительность: 29 июн 2015 → …

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ИздательSpringer Nature
Том9136
ISSN (печатное издание)0302-9743

конференция

конференцияcomputability in europe-2015
Период29/06/15 → …

ID: 127084851