DOI

We define and study new classifications of qcb0-spaces based on the idea to measure the complexity of their bases. The new classifications complement those given by recently introduced hierarchies of qcb0-spaces and provide new tools to investigate non-countably based qcb0-spaces. As a by-product, we show that there is no universal qcb0-space and establish several new properties of the Kleene-Kreisel continuous functionals of countable types.
Original languageEnglish
Pages (from-to)75-102
Number of pages28
JournalComputability
Volume5
Issue number1
DOIs
StatePublished - 1 Jan 2016

    Research areas

  • hyperprojective hierarchy, hyperspaces, Kleene-Kreisel continuous functionals, qcb0-spaces, Scott topology, Y-based spaces

ID: 126985731