Some hierarchies of QCB0-spaces

DOI10.1017/S0960129513000376zbMath1362.03044arXiv1304.1647OpenAlexW2963651973MaRDI QIDQ5740683

Matthias Schröder, Victor L. 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

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

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cartesian closed categories of algebraic cpos
• Towards a descriptive set theory for domain-like structures
• Theory of representations
• Maximal and everywhere-defined functionals
• Topological properties of real number representations.
• Extended admissibility.
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Quasi-Polish spaces
• Filter spaces and continuous functionals
• Hierarchies in?-spaces and applications
• The sequential topology on is not regular
• Countable functionals and the projective hierarchy
• Characterizations of absolute F σδ-sets
• On the Difference Hierarchy in Countably Based T0-Spaces