Hyperprojective hierarchy of qcb0-spaces

DOI10.3233/COM-150031zbMath1393.03052arXiv1404.0297OpenAlexW2950764641MaRDI QIDQ5261152

Victor L. Selivanov, Matthias Schröder

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

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

Related Items (6)

The fixed-point property for represented spaces ⋮ Base-Complexity Classifications of QCB $$_0$$ 0 -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

This page was built for publication: Hyperprojective hierarchy of qcb0-spaces