Towards the Effective Descriptive Set Theory

DOI10.1007/978-3-319-20028-6_33zbMath1461.03049OpenAlexW2274951293MaRDI QIDQ3195711

Victor L. Selivanov

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

zbMATH Keywords

Suslin-Kleene theoremcomputable Polish spaceeffective Hausdorff theoremcomputable \(\omega\)-continuous domaineffective hierarchyweakly computable cb\(_0\)-space

Mathematics Subject Classification ID

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)

Non-collapse of the effective Wadge hierarchy ⋮ On images of partial computable functions over computable Polish spaces ⋮ Effective wadge hierarchy in computable quasi-Polish spaces ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ On the main scientific achievements of Victor Selivanov ⋮ On degree spectra of topological spaces ⋮ Outline of partial computability in computable topology ⋮ On higher effective descriptive set theory ⋮ Precomplete numberings ⋮ Enumerating classes of effective quasi-Polish spaces ⋮ Non-collapse of the effective wadge hierarchy

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