Some hierarchies of QCB₀-spaces

DOI10.1017/S0960129513000376MaRDI QIDQ5740683zbMATH OpenOpenAlexFDO

Authors Matthias Schröder, Victor Selivanov

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Abstract: We define and study hierarchies of topological spaces induced by the classical Borel and Luzin hierarchies of sets. Our hierarchies are divided into two classes: hierarchies of countably based spaces induced by their embeddings into the domain Pomega, and hierarchies of spaces (not necessarily countably based) induced by their admissible representations. We concentrate on the non-collapse property of the hierarchies and on the relationships between hierarchies in the two classes.

Recommendations

• Hyperprojective hierarchy of qcb0-spaces
• Hyperprojective hierarchy of \(\mathrm{qcb}_{0}\)-spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Towards a descriptive theory of cb\(_{0}\)-spaces

Cites work

• Cartesian closed categories of algebraic cpos
• Characterizations of absolute F σδ-sets
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Countable functionals and the projective hierarchy
• Extended admissibility.
• Filter spaces and continuous functionals
• Hierarchies in?-spaces and applications
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Maximal and everywhere-defined functionals
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• Quasi-Polish spaces
• The sequential topology on is not regular
• Theory of representations
• Topological properties of real number representations.
• Towards a descriptive set theory for domain-like structures

Cited in

(13)

• Quasi-Polish spaces
• The fixed-point property for represented spaces
• Some notes on \(Q_{\log ,0}\) space
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• A note on closed subsets in quasi-zero-dimensional qcb-spaces. (Extended abstract)
• Hierarchies in?-spaces and applications
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Towards a descriptive theory of cb\(_{0}\)-spaces
• Hyperprojective hierarchy of \(\mathrm{qcb}_{0}\)-spaces
• Game characterizations and lower cones in the Weihrauch degrees
• Hyperprojective hierarchy of qcb0-spaces
• On the main scientific achievements of Victor Selivanov

This page was built for publication: Some hierarchies of \(\mathsf{QCB}_0\)-spaces

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