Standard

Base-complexity classifications of qcb0-spaces1. / De Brecht, Matthew; Schröder, Matthias; Selivanov, Victor.

In: Computability, Vol. 5, No. 1, 01.01.2016, p. 75-102.

Research output: Contribution to journal › Article › peer-review

Harvard

De Brecht, M, Schröder, M & Selivanov, V 2016, 'Base-complexity classifications of qcb0-spaces1', Computability, vol. 5, no. 1, pp. 75-102. https://doi.org/10.3233/COM-150044

APA

De Brecht, M., Schröder, M., & Selivanov, V. (2016). Base-complexity classifications of qcb0-spaces1. Computability, 5(1), 75-102. https://doi.org/10.3233/COM-150044

Vancouver

De Brecht M, Schröder M, Selivanov V. Base-complexity classifications of qcb0-spaces1. Computability. 2016 Jan 1;5(1):75-102. https://doi.org/10.3233/COM-150044

Author

De Brecht, Matthew ; Schröder, Matthias ; Selivanov, Victor. / Base-complexity classifications of qcb0-spaces1. In: Computability. 2016 ; Vol. 5, No. 1. pp. 75-102.

BibTeX

@article{d292f705e6584729bc3907c203485bef,
title = "Base-complexity classifications of qcb0-spaces1",
abstract = "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.",
keywords = "hyperprojective hierarchy, hyperspaces, Kleene-Kreisel continuous functionals, qcb0-spaces, Scott topology, Y-based spaces",
author = "{De Brecht}, Matthew and Matthias Schr{\"o}der and Victor Selivanov",
year = "2016",
month = jan,
day = "1",
doi = "10.3233/COM-150044",
language = "English",
volume = "5",
pages = "75--102",
journal = "Computability",
issn = "2211-3568",
publisher = "IOS Press",
number = "1",

}

RIS

TY - JOUR

T1 - Base-complexity classifications of qcb0-spaces1

AU - De Brecht, Matthew

AU - Schröder, Matthias

AU - Selivanov, Victor

PY - 2016/1/1

Y1 - 2016/1/1

N2 - 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.

AB - 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.

KW - hyperprojective hierarchy

KW - hyperspaces

KW - Kleene-Kreisel continuous functionals

KW - qcb0-spaces

KW - Scott topology

KW - Y-based spaces

UR - http://www.scopus.com/inward/record.url?scp=85011110655&partnerID=8YFLogxK

U2 - 10.3233/COM-150044

DO - 10.3233/COM-150044

M3 - Article

AN - SCOPUS:85011110655

VL - 5

SP - 75

EP - 102

JO - Computability

JF - Computability

SN - 2211-3568

IS - 1

ER -

ID: 126985731