Hyperprojective hierarchy of qcb0-spaces

DOI10.3233/COM-150031MaRDI QIDQ5261152zbMATHOpenAlexFDO

Authors Matthias Schröder, Victor Selivanov

Publication date 1 July 2015

Published in Computability (Search for Journal in Brave)

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

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)

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.

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

Cited in

(10)

• On the main scientific achievements of Victor Selivanov
• The fixed-point property for represented spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Hyperprojective hierarchy of \(\mathrm{qcb}_{0}\)-spaces
• A note on closed subsets in quasi-zero-dimensional QCB-spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Game characterizations and lower cones in the Weihrauch degrees
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Towards a descriptive theory of cb\(_{0}\)-spaces
• Some hierarchies of \(\mathsf{QCB}_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)