Standard

Base-complexity classifications of QCB0-spaces (Extended Abstract). / de Brecht, Matthew; Schröder, Matthias; Selivanov, Victor.

Evolving Computability. 2015. стр. 156-166 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 9136).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Harvard

de Brecht, M, Schröder, M & Selivanov, V 2015, Base-complexity classifications of QCB0-spaces (Extended Abstract). в Evolving Computability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том. 9136, стр. 156-166, computability in europe-2015, 29/06/15. https://doi.org/10.1007/978-3-319-20028-6_16

APA

de Brecht, M., Schröder, M., & Selivanov, V. (2015). Base-complexity classifications of QCB0-spaces (Extended Abstract). в Evolving Computability (стр. 156-166). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 9136). https://doi.org/10.1007/978-3-319-20028-6_16

Vancouver

de Brecht M, Schröder M, Selivanov V. Base-complexity classifications of QCB0-spaces (Extended Abstract). в Evolving Computability. 2015. стр. 156-166. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-20028-6_16

Author

de Brecht, Matthew ; Schröder, Matthias ; Selivanov, Victor. / Base-complexity classifications of QCB0-spaces (Extended Abstract). Evolving Computability. 2015. стр. 156-166 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{e2cce7ff85484dc69c8c5e165d05cd03,
title = "Base-complexity classifications of QCB0-spaces (Extended Abstract)",
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 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.",
keywords = "Hyperprojective hierarchy, Hyperspaces, Kleene-Kreisel continuous functional, QCB -spaces 0, Scott topology, Y -based spaces",
author = "{de Brecht}, Matthew and Matthias Schr{\"o}der and Victor Selivanov",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-20028-6_16",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "156--166",
booktitle = "Evolving Computability",
note = "computability in europe-2015 ; Conference date: 29-06-2015",

}

RIS

TY - GEN

T1 - Base-complexity classifications of QCB0-spaces (Extended Abstract)

AU - de Brecht, Matthew

AU - Schröder, Matthias

AU - Selivanov, Victor

PY - 2015/1/1

Y1 - 2015/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 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.

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

KW - Hyperprojective hierarchy

KW - Hyperspaces

KW - Kleene-Kreisel continuous functional

KW - QCB -spaces 0

KW - Scott topology

KW - Y -based spaces

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

U2 - 10.1007/978-3-319-20028-6_16

DO - 10.1007/978-3-319-20028-6_16

M3 - Conference contribution

AN - SCOPUS:84950162047

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 156

EP - 166

BT - Evolving Computability

T2 - computability in europe-2015

Y2 - 29 June 2015

ER -

ID: 126986147