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 the hierarchies of qcb0-spaces introduced in [7,8] 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 apparently new properties of the Kleene- Kreisel continuous functionals of countable types.
Original languageEnglish
Title of host publicationEvolving Computability
Pages156-166
Number of pages11
DOIs
StatePublished - 1 Jan 2015
Eventcomputability in europe-2015 -
Duration: 29 Jun 2015 → …

Publication series

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

Conference

Conferencecomputability in europe-2015
Period29/06/15 → …

    Research areas

  • Hyperprojective hierarchy, Hyperspaces, Kleene-Kreisel continuous functional, QCB -spaces 0, Scott topology, Y -based spaces

ID: 126986147