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.
Original languageEnglish
Title of host publicationLanguage, Life, Limits (CiE 2014)
Pages352-361
Number of pages10
DOIs
StatePublished - 1 Jan 2014
Eventcomputability in europe-2014 -
Duration: 23 Jun 2014 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Nature
Volume8493
ISSN (Print)0302-9743

Conference

Conferencecomputability in europe-2014
Period23/06/14 → …

    Research areas

  • cartesian closed category, continuous functionals of countable types, Hyperprojective hierarchy

ID: 127085296