Non-collapse of the effective Wadge hierarchy
From MaRDI portal
Publication:5061393
DOI10.3233/COM-210376MaRDI QIDQ5061393
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
\(k\)-partition; effective space; fine hierarchy; computable quasi-Polish space; non-collapse property; effective Wadge hierarchy
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 cb0-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