Towards the Effective Descriptive Set Theory

DOI10.1007/978-3-319-20028-6_33MaRDI QIDQ3195711zbMATH OpenOpenAlexFDO

Authors Victor 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

computable \(\omega\)-continuous domaincomputable Polish spaceeffective Hausdorff theoremeffective hierarchySuslin-Kleene theoremweakly computable cb\(_0\)-space

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Recommendations

• On higher effective descriptive set theory
• Classical descriptive set theory as a refinement of effective descriptive set theory
• Intuitionism and effective descriptive set theory
• New Directions in Descriptive Set Theory
• Descriptive set theory
• Descriptive set theory, from Cantor to Wadge and beyond
• scientific article; zbMATH DE number 218510
• Towards a descriptive set theory for domain-like structures
• Descriptive set theory over hyperfinite sets
• A comparison of concepts from computable analysis and effective descriptive set theory

Cites work

• A comparison of concepts from computable analysis and effective descriptive set theory
• A Separation Theorem for ∑ 1 1 Sets
• Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
• Classes of Polish spaces under effective Borel isomorphism
• Computable metrization
• Descriptive set theory
• Effective Borel measurability and reducibility of functions
• 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 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3342831 (Why is no real title available?)
• Invariant descriptive set theory
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• Quasi-Polish spaces
• The Hausdorff-Ershov hierarchy in Euclidean spaces
• Towards a descriptive set theory for domain-like structures
• Variations of Wadge reducibility
• Wadge Degrees ofω-Languages of Deterministic Turing Machines
• Wadge-like reducibilities on arbitrary quasi-Polish spaces

Cited in

(33)

• An effective description of the Jelonek set
• 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
• On degree spectra of topological spaces
• 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
• Turning Borel sets into clopen sets effectively
• Effective properties in compact sets of Borel functions
• scientific article; zbMATH DE number 4068856 (Why is no real title available?)
• A Note on 2 sc( E 1 )
• scientific article; zbMATH DE number 3475399 (Why is no real title available?)
• Learning Theory and Descriptive Set Theory
• Topologies generated by effectively Suslin sets, and their applications in descriptive set theory
• A comparison of concepts from computable analysis and effective descriptive set theory
• Descriptive set theory in the category of represented spaces
• Effective aspects of Hausdorff and Fourier dimension
• Non-collapse of the effective Wadge hierarchy
• On work in descriptive set theory carried out at the Mathematical Institute of the Academy of Sciences
• On the main scientific achievements of Victor Selivanov
• Classical descriptive set theory as a refinement of effective descriptive set theory
• Comparing computability in two topologies
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Towards a descriptive set theory for domain-like structures

This page was built for publication: Towards the Effective Descriptive Set Theory

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