On higher effective descriptive set theory

DOI10.1007/978-3-319-58741-7_27zbMATH Open1496.03188OpenAlexW2613951795MaRDI QIDQ2011663FDOQ2011663

Oleg Kudinov, M. V. Korovina

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)

Cites Work

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

Cited In (6)

• Enumerating classes of effective quasi-Polish spaces
• Some notes on spaces of ideals and computable topology
• Effective wadge hierarchy in computable quasi-Polish spaces
• Descriptive set theory over hyperfinite sets
• An effective description of the Jelonek set
• Towards the 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)