|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Математическая логика, алгебра и теория чисел
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
Аннотация:
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.
Ключевые слова:
computable quasi-Polish space, effective Wadge hierarchy, fine hierarchy, $k$-partition, preservation property, effective Hausdorff theorem.
Поступила 27 июля 2020 г., опубликована 1 марта 2021 г.
Образец цитирования:
V. L. Selivanov, “Effective Wadge hierarchy in computable quasi-Polish spaces”, Сиб. электрон. матем. изв., 18:1 (2021), 121–135
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1352 https://www.mathnet.ru/rus/semr/v18/i1/p121
|
Статистика просмотров: |
Страница аннотации: | 155 | PDF полного текста: | 69 | Список литературы: | 25 |
|