On higher effective descriptive set theory

DOI10.1007/978-3-319-58741-7_27MaRDI QIDQ2011663zbMATHOpenAlexFDO

Authors M. V. Korovina, Oleg 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

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

Recommendations

• Descriptive set theory in the category of represented spaces
• Towards the Effective Descriptive Set Theory
• Classical descriptive set theory as a refinement of effective descriptive set theory
• Towards a descriptive set theory for domain-like structures
• scientific article; zbMATH DE number 17702

Cites work

• scientific article; zbMATH DE number 6536309 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3598453 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Descriptive set theory
• Index sets as a measure of continuous constraint complexity
• Invariant descriptive set theory
• New Computational Paradigms
• Normal numbers and the Borel hierarchy
• On effective topological spaces
• On images of partial computable functions over computable Polish spaces
• Quasi-Polish spaces
• Towards a descriptive set theory for domain-like structures
• Towards computability over effectively enumerable topological spaces
• Towards the Effective Descriptive Set Theory

Cited in

(8)

• Towards the Effective Descriptive Set Theory
• An effective description of the Jelonek set
• Effective wadge hierarchy in computable quasi-Polish spaces
• Descriptive set theory over hyperfinite sets
• Enumerating classes of effective quasi-Polish spaces
• Some notes on spaces of ideals and computable topology
• Descriptive set theory in the category of represented spaces
• Classical descriptive set theory as a refinement of effective descriptive set theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011663)