DOI

We extend the Luzin hierarchy of qcb0-spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb0-spaces. We generalize all main results of [ScS13] to this larger hierarchy. In particular, we extend the Kleene-Kreisel continuous functionals of finite types to the continuous functionals of countable types and relate them to the new hierarchy. We show that the category of hyperprojective qcb0-spaces has much better closure properties than the category of projective qcb0-space. As a result, there are natural examples of spaces that are hyperprojective but not projective. © 2014 Springer International Publishing.
Язык оригиналаанглийский
Название основной публикацииLanguage, Life, Limits (CiE 2014)
Страницы352-361
Число страниц10
DOI
СостояниеОпубликовано - 1 янв 2014
Событиеcomputability in europe-2014 -
Продолжительность: 23 июн 2014 → …

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

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

конференция

конференцияcomputability in europe-2014
Период23/06/14 → …

ID: 127085296