Non-collapse of the effective Wadge hierarchy

DOI10.3233/COM-210376MaRDI QIDQ5061393

Victor L. Selivanov

Publication date: 12 January 2023

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/com-210376

zbMATH Keywords

\(k\)-partition; effective space; fine hierarchy; computable quasi-Polish space; non-collapse property; effective Wadge hierarchy

Mathematics Subject Classification ID

03Dxx: Computability and recursion theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fine hierarchies via Priestley duality
• A Wadge hierarchy for second countable spaces
• Hierarchies of hyperarithmetical sets and functions
• The Hausdorff-Ershov hierarchy in Euclidean spaces
• Fine hierarchies and m-reducibilities in theoretical computer science
• Turing degrees in refinements of the arithmetical hierarchy
• Quasi-Polish spaces
• Extending Wadge theory to \(k\)-partitions
• Complexity issues for the iterated \(h\)-preorders
• Non-collapse of the effective wadge hierarchy
• Computability on quasi-Polish spaces
• Turing reducibility in the fine hierarchy
• Effective wadge hierarchy in computable quasi-Polish spaces
• Effective Borel measurability and reducibility of functions
• Towards the Effective Descriptive Set Theory
• Towards a descriptive theory of cb₀-spaces
• Extending Cooper’s theorem to Δ 3 0 Turing degrees
• The uniform Martin’s conjecture for many-one degrees
• Weihrauch Complexity in Computable Analysis
• A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
• THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER
• Overt choice
• Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations
• Q-Wadge degrees as free structures
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Bad Wadge-like reducibilities on the Baire space
• Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
• Wadge hardness in Scott spaces and its effectivization