Hyperprojective Hierarchy of qcb0-Spaces

DOI10.1007/978-3-319-08019-2_37zbMath1393.03051OpenAlexW1964858768MaRDI QIDQ5175910

Matthias Schröder, Victor L. Selivanov

Publication date: 25 February 2015

Published in: Language, Life, Limits (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08019-2_37

zbMATH Keywords

Cartesian closed categoryhyperprojective hierarchy\(\mathrm{qcb}_{0}\)-spacecontinuous functionals of countable types

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 (2)

Computable elements and functions in effectively enumerable topological spaces ⋮ Game characterizations and lower cones in the Weihrauch degrees

This page was built for publication: Hyperprojective Hierarchy of qcb0-Spaces