Hyperprojective hierarchy of qcb0-spaces

DOI10.3233/COM-150031zbMATH Open1393.03052arXiv1404.0297OpenAlexW2950764641MaRDI QIDQ5261152FDOQ5261152

Victor Selivanov, Matthias Schröder

Publication date: 1 July 2015

Published in: Computability (Search for Journal in Brave)

Abstract: We extend the Luzin hierarchy of qcb${}_0$-spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb${}_0$-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 qcb${}_0$-spaces has much better closure properties than the category of projective qcb${}_0$-space. As a result, there are natural examples of spaces that are hyperprojective but not projective.

Full work available at URL: https://arxiv.org/abs/1404.0297

Recommendations

• Hyperprojective hierarchy of \(\mathrm{qcb}_{0}\)-spaces
• Some hierarchies of \(\mathsf{QCB}_0\)-spaces
• \(Q_p\)-spaces
• Quantization of \(A_0(K)\)-spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Admissibly Represented Spaces and Qcb-Spaces
• On bitopological \(QHC\)-spaces
• scientific article; zbMATH DE number 2134878
• A note on closed subsets in quasi-zero-dimensional QCB-spaces

zbMATH Keywords

Cartesian closed categoryhyperprojective hierarchycontinuous functionals of countable types\(\mathrm{qcb}_0\)-space

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Descriptive set theory (03E15) Hyperspaces in general topology (54B20) Categorical methods in general topology (54B30) Constructive and recursive analysis (03F60)

Cited In (6)

• On the main scientific achievements of Victor Selivanov
• The fixed-point property for represented spaces
• Game characterizations and lower cones in the Weihrauch degrees
• Towards a descriptive theory of cb₀-spaces
• Base-Complexity Classifications of QCB $$_0$$ 0 -Spaces
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces

This page was built for publication: Hyperprojective hierarchy of qcb0-spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261152)