|
This article is cited in 3 scientific papers (total in 3 papers)
Mathematical logic, algebra and number theory
Effective Wadge hierarchy in computable quasi-Polish spaces
V. L. Selivanov A.P. Ershov Institute of Informatics Systems, 6, Lavrent'eva ave., Novosibirsk, 630090, Russia
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.
Keywords:
computable quasi-Polish space, effective Wadge hierarchy, fine hierarchy, $k$-partition, preservation property, effective Hausdorff theorem.
Received July 27, 2020, published March 1, 2021
Citation:
V. L. Selivanov, “Effective Wadge hierarchy in computable quasi-Polish spaces”, Sib. Èlektron. Mat. Izv., 18:1 (2021), 121–135
Linking options:
https://www.mathnet.ru/eng/semr1352 https://www.mathnet.ru/eng/semr/v18/i1/p121
|
Statistics & downloads: |
Abstract page: | 155 | Full-text PDF : | 69 | References: | 25 |
|