Effective wadge hierarchy in computable quasi-Polish spaces
From MaRDI portal
Publication:2662822
DOI10.33048/semi.2021.18.010zbMath1506.03104arXiv1910.13220MaRDI 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\)-partition; fine hierarchy; computable quasi-Polish space; effective wadge hierarchy; effective Hausdorff theorem
03E15: Descriptive set theory
03D45: Theory of numerations, effectively presented structures
03D55: Hierarchies of computability and definability