Towards a descriptive theory of cb0-spaces

DOI10.1017/S0960129516000177zbMath1456.03077arXiv1406.3942OpenAlexW2963486946MaRDI QIDQ4593243

Victor L. 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

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

Related Items (12)

Non-collapse of the effective Wadge hierarchy ⋮ A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES ⋮ Effective wadge hierarchy in computable quasi-Polish spaces ⋮ Wadge-like degrees of Borel bqo-valued functions ⋮ THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER ⋮ 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 ⋮ Well-Quasi Orders and Hierarchy Theory ⋮ Extending Wadge theory to \(k\)-partitions ⋮ Boole vs Wadge: comparing two basic tools of descriptive set theory ⋮ Non-collapse of the effective wadge hierarchy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fine hierarchies via Priestley duality
• Hierarchies of hyperarithmetical sets and functions
• Towards a descriptive set theory for domain-like structures
• More on Wadge determinacy
• Preservation of the Borel class under countable-compact-covering mappings
• Fine hierarchies and m-reducibilities in theoretical computer science
• A new proof of a theorem of Jayne and Rogers
• On the Wadge reducibility of \(k\)-partitions
• First level Borel functions and isomorphisms
• Theory of representations
• Extended admissibility.
• Quasi-Polish spaces
• The theory of well-quasi-ordering: a frequently discovered concept
• Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
• Sigma^0_alpha - Admissible Representations (Extended Abstract)
• Generalized Descriptive Set Theory and Classification Theory
• A Fine Hierarchy of ω-Regular k-Partitions
• Hierarchies in?-spaces and applications
• The quotient algebra of labeled forests modulo h-equivalence
• Borel-amenable reducibilities for sets of reals
• Borel–Wadge degrees
• Continuous Lattices and Domains
• On the Difference Hierarchy in Countably Based T0-Spaces
• Total Representations
• Hyperprojective hierarchy of qcb0-spaces
• Hierarchies of Δ⁰₂‐measurable k ‐partitions
• Wadge-like reducibilities on arbitrary quasi-Polish spaces
• Some hierarchies of QCB₀-spaces

This page was built for publication: Towards a descriptive theory of cb₀-spaces