Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Hyperprojective hierarchy of qcb0-spaces. / Schröder, Matthias; Selivanov, Victor.
Language, Life, Limits (CiE 2014). 2014. стр. 352-361 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 8493).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - Hyperprojective hierarchy of qcb0-spaces
AU - Schröder, Matthias
AU - Selivanov, Victor
PY - 2014/1/1
Y1 - 2014/1/1
N2 - We extend the Luzin hierarchy of qcb0-spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb0-spaces. We generalize all main results of [ScS13] to this larger hierarchy. In particular, we extend the Kleene-Kreisel continuous functionals of finite types to the continuous functionals of countable types and relate them to the new hierarchy. We show that the category of hyperprojective qcb0-spaces has much better closure properties than the category of projective qcb0-space. As a result, there are natural examples of spaces that are hyperprojective but not projective. © 2014 Springer International Publishing.
AB - We extend the Luzin hierarchy of qcb0-spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb0-spaces. We generalize all main results of [ScS13] to this larger hierarchy. In particular, we extend the Kleene-Kreisel continuous functionals of finite types to the continuous functionals of countable types and relate them to the new hierarchy. We show that the category of hyperprojective qcb0-spaces has much better closure properties than the category of projective qcb0-space. As a result, there are natural examples of spaces that are hyperprojective but not projective. © 2014 Springer International Publishing.
KW - cartesian closed category
KW - continuous functionals of countable types
KW - Hyperprojective hierarchy
UR - http://www.scopus.com/inward/record.url?scp=84903625240&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-08019-2_37
DO - 10.1007/978-3-319-08019-2_37
M3 - Conference contribution
AN - SCOPUS:84903625240
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 352
EP - 361
BT - Language, Life, Limits (CiE 2014)
T2 - computability in europe-2014
Y2 - 23 June 2014
ER -
ID: 127085296