Effective wadge hierarchy in computable quasi-Polish spaces
From MaRDI portal
Publication:2662822
DOI10.33048/semi.2021.18.010zbMath1506.03104arXiv1910.13220OpenAlexW3200202039MaRDI QIDQ2662822
Publication date: 15 April 2021
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.13220
preservation property\(k\)-partitionfine hierarchycomputable quasi-Polish spaceeffective wadge hierarchyeffective Hausdorff theorem
Descriptive set theory (03E15) Theory of numerations, effectively presented structures (03D45) Hierarchies of computability and definability (03D55)
Related Items
Non-collapse of the effective Wadge hierarchy ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ On the main scientific achievements of Victor Selivanov ⋮ Unnamed Item ⋮ 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
- Fine hierarchies via Priestley duality
- Hierarchies of hyperarithmetical sets and functions
- Towards a descriptive set theory for domain-like structures
- Preservation of the Borel class under countable-compact-covering mappings
- Fine hierarchy of regular \(\omega\)-languages
- Quasi-Polish spaces
- On higher effective descriptive set theory
- Computability on quasi-Polish spaces
- Towards the Effective Descriptive Set Theory
- On ω-regular sets
- Towards a descriptive theory of cb0-spaces
- Total Representations
- A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
- Overt choice
- On the structure of the Wadge degrees of bqo-valued Borel functions
- Descriptive complexity on non-Polish spaces