Some hierarchies of QCB₀-spaces

DOI10.1017/S0960129513000376zbMATH Open1362.03044arXiv1304.1647OpenAlexW2963651973MaRDI QIDQ5740683FDOQ5740683

Authors: Matthias Schröder, Victor Selivanov 

Publication date: 27 July 2016

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

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.

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (13)

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

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)