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.
Язык оригиналаанглийский
Страницы (с-по)75-102
Число страниц28
ЖурналComputability
Том5
Номер выпуска1
DOI
СостояниеОпубликовано - 1 янв 2016

ID: 126985731