Towards a descriptive theory of cb₀-spaces

DOI10.1017/S0960129516000177zbMATH Open1456.03077arXiv1406.3942OpenAlexW2963486946MaRDI QIDQ4593243FDOQ4593243

Authors: Victor Selivanov 

Publication date: 22 November 2017

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

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.

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

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

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)

Cites Work

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

Cited In (14)

• Boole vs Wadge: comparing two basic tools of descriptive set theory
• Wadge-like degrees of Borel bqo-valued functions
• On the main scientific achievements of Victor Selivanov
• Effective wadge hierarchy in computable quasi-Polish spaces
• Hierarchies of Δ⁰₂‐measurable k ‐partitions
• A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
• A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
• THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Non-collapse of the effective Wadge hierarchy
• Well-Quasi Orders and Hierarchy Theory
• Extending Wadge theory to \(k\)-partitions
• Non-collapse of the effective wadge hierarchy
• On the difference hierarchy in countably based \(T_{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)