RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2021, том 18, выпуск 1, страницы 121–135 (Mi semr1352)

Эта публикация цитируется в 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.

УДК: 510.5

MSC: 03D15

Поступила 27 июля 2020 г., опубликована 1 марта 2021 г.

Язык публикации: английский

DOI: 10.33048/semi.2021.18.010



Реферативные базы данных:


© МИАН, 2024