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 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.
Язык оригиналаанглийский
Название основной публикацииEvolving Computability
Страницы156-166
Число страниц11
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: 126986147