On higher effective descriptive set theory

DOI10.1007/978-3-319-58741-7_27zbMath1496.03188OpenAlexW2613951795MaRDI QIDQ2011663

Margarita Korovina, Oleg V. Kudinov

Publication date: 4 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_27

zbMATH Keywords

uniformisation theoremeffective topological space\((\alpha,m)\)-retractive morphismeffective \(T_0\)-space admitting Borel point recoveringeffective Borel and Lusin hierarchieshigher effective descriptive set theorySuslin-Kleene theorem

Mathematics Subject Classification ID

Descriptive set theory (03E15) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Effective wadge hierarchy in computable quasi-Polish spaces ⋮ Enumerating classes of effective quasi-Polish spaces ⋮ Some notes on spaces of ideals and computable topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards a descriptive set theory for domain-like structures
• Quasi-Polish spaces
• On images of partial computable functions over computable Polish spaces
• Towards the Effective Descriptive Set Theory
• Index Sets as a Measure of Continuous Constraint Complexity
• On effective topological spaces
• Towards Computability over Effectively Enumerable Topological Spaces
• Normal numbers and the Borel hierarchy
• New Computational Paradigms

This page was built for publication: On higher effective descriptive set theory