Base-complexity classifications of qcb₀-spaces

DOI10.3233/COM-150044MaRDI QIDQ2799752zbMATH OpenOpenAlexFDO

Authors Matthew De Brecht, Matthias Schröder, Victor Selivanov

Publication date 13 April 2016

Published in Computability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/com-150044

zbMATH Keywords

\(\mathrm{qcb}_0\)-spaceshyperprojective hierarchyhyperspacesKleene-Kreisel continuous functionalsScott topologyY-based spaces

Mathematics Subject Classification ID

Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Hyperspaces in general topology (54B20)

Recommendations

• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Some hierarchies of \(\mathsf{QCB}_0\)-spaces
• Hyperprojective hierarchy of qcb0-spaces
• Hyperprojective hierarchy of \(\mathrm{qcb}_{0}\)-spaces
• A note on closed subsets in quasi-zero-dimensional qcb-spaces. (Extended abstract)

Cites work

• Comparing Cartesian closed categories of (core) compactly generated spaces
• Consonance and topological completeness in analytic spaces
• Extended admissibility.
• On the dissonance of some metrizable spaces
• Quasi-Polish spaces
• Quotients of countably based spaces are not closed under sobrification
• Quotients of the space of irrationals
• Spaces allowing Type‐2 Complexity Theory revisited
• Theory of representations
• Topological properties of real number representations.
• Total representations
• Towards a descriptive set theory for domain-like structures
• Two preservation results for countable products of sequential spaces
• When do the Upper Kuratowski Topology (Homeomorphically, Scott Topology) and the Co-compact Topology Coincide?
• When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies?

Cited in

(12)

• The fixed-point property for represented spaces
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• A note on closed subsets in quasi-zero-dimensional QCB-spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Admissibly Represented Spaces and Qcb-Spaces
• Hyperprojective hierarchy of \(\mathrm{qcb}_{0}\)-spaces
• scientific article; zbMATH DE number 7093560 (Why is no real title available?)
• Hyperprojective hierarchy of qcb0-spaces
• Some hierarchies of \(\mathsf{QCB}_0\)-spaces
• On the main scientific achievements of Victor Selivanov
• Descriptive complexity on non-Polish spaces. II
• Some open problems on well-filtered spaces and sober spaces

This page was built for publication: Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces

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