Towards a descriptive theory of cb₀-spaces

DOI10.1017/S0960129516000177MaRDI QIDQ4593243zbMATHOpenAlexFDO

Authors Victor Selivanov

Publication date 22 November 2017

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1406.3942

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Hierarchies of computability and definability (03D55) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Constructive and recursive analysis (03F60)

Abstract: The paper tries to extend results of the classical Descriptive Set Theory to as many countably based T_0-spaces (cb_0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we consider also the more general case of k-partitions. In particular, we investigate the difference hierarchy of k-partitions and the fine hierarchy closely related to the Wadge hierarchy.

Recommendations

• Some hierarchies of \(\mathsf{QCB}_0\)-spaces
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• Towards a descriptive set theory for domain-like structures
• Quasi-Polish spaces
• Hierarchies of Δ⁰₂‐measurable k ‐partitions

Cites work

• scientific article; zbMATH DE number 3849219 (Why is no real title available?)
• scientific article; zbMATH DE number 5521854 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3609660 (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 2154088 (Why is no real title available?)
• A Fine Hierarchy of ω-Regular k-Partitions
• A new proof of a theorem of Jayne and Rogers
• Borel-amenable reducibilities for sets of reals
• Borel–Wadge degrees
• Continuous Lattices and Domains
• Extended admissibility.
• Fine hierarchies and m-reducibilities in theoretical computer science
• Fine hierarchies via Priestley duality
• First level Borel functions and isomorphisms
• Generalized descriptive set theory and classification theory
• Hierarchies in?-spaces and applications
• Hierarchies of hyperarithmetical sets and functions
• Hierarchies of Δ⁰₂‐measurable k ‐partitions
• Hyperprojective hierarchy of qcb0-spaces
• More on Wadge determinacy
• On the Wadge reducibility of \(k\)-partitions
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• Preservation of the Borel class under countable-compact-covering mappings
• Quasi-Polish spaces
• Some hierarchies of \(\mathsf{QCB}_0\)-spaces
• The quotient algebra of labeled forests modulo h-equivalence
• The theory of well-quasi-ordering: a frequently discovered concept
• Theory of representations
• Total representations
• Towards a descriptive set theory for domain-like structures
• Variations of Wadge reducibility
• Wadge hierarchy and Veblen hierarchy. I: Borel sets of finite rank
• Wadge-like reducibilities on arbitrary quasi-Polish spaces
• \(\Sigma^{0}_\alpha\)-admissible representations. (Extended abstract)

Cited in

(16)

• A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
• On the main scientific achievements of Victor Selivanov
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Effective wadge hierarchy in computable quasi-Polish spaces
• A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
• Non-collapse of the effective wadge hierarchy
• Non-collapse of the effective Wadge hierarchy
• The Wadge order on the Scott domain is not a well-quasi-order
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• Wadge-like degrees of Borel bqo-valued functions
• Extending Wadge theory to \(k\)-partitions
• Well-Quasi Orders and Hierarchy Theory
• Hierarchies of Δ⁰₂‐measurable k ‐partitions
• Boole vs Wadge: comparing two basic tools of descriptive set theory
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Some hierarchies of \(\mathsf{QCB}_0\)-spaces

This page was built for publication: Towards a descriptive theory of cb\(_{0}\)-spaces

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