Back to Search
Start Over
Effective Wadge hierarchy in computable quasi-Polish spaces
- Source :
- Sibirskie Elektronnye Matematicheskie Izvestiya. 18:121-135
- Publication Year :
- 2021
- Publisher :
- Sobolev Institute of Mathematics, 2021.
-
Abstract
- We define and study an effective version of the Wadge hierarchy in computable quasi-Polish spaces which include most spaces of interest for computable analysis. Along with hierarchies of sets we study hierarchies of k-partitions which are interesting on their own. We show that levels of such hierarchies are preserved by the computable effectively open surjections, that if the effective Hausdorff-Kuratowski theorem holds in the Baire space then it holds in every computable quasi-Polish space, and we extend the effective Hausdorff theorem to k-partitions.
Details
- ISSN :
- 18133304
- Volume :
- 18
- Database :
- OpenAIRE
- Journal :
- Sibirskie Elektronnye Matematicheskie Izvestiya
- Accession number :
- edsair.doi...........eae37f7ddb54c6531daa4e6a026b542f
- Full Text :
- https://doi.org/10.33048/semi.2021.18.010