Towards the Effective Descriptive Set Theory
DOI10.1007/978-3-319-20028-6_33zbMath1461.03049OpenAlexW2274951293MaRDI QIDQ3195711
Publication date: 20 October 2015
Published in: Evolving Computability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20028-6_33
Suslin-Kleene theoremcomputable Polish spaceeffective Hausdorff theoremcomputable \(\omega\)-continuous domaineffective hierarchyweakly computable cb\(_0\)-space
Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Theory of numerations, effectively presented structures (03D45)
Related Items (11)
Cites Work
- The Hausdorff-Ershov hierarchy in Euclidean spaces
- Towards a descriptive set theory for domain-like structures
- Quasi-Polish spaces
- Effective Borel measurability and reducibility of functions
- Wadge Degrees ofω-Languages of Deterministic Turing Machines
- A comparison of concepts from computable analysis and effective descriptive set theory
- On the Difference Hierarchy in Countably Based T0-Spaces
- Computable metrization
- Classes of Polish spaces under effective Borel isomorphism
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
- Wadge-like reducibilities on arbitrary quasi-Polish spaces
- A Separation Theorem for ∑ 1 1 Sets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Towards the Effective Descriptive Set Theory