DOI

We discuss ideal presentations of effective quasi-Polish spaces and some of their subclasses. Based on this, we introduce and study natural numberings of these classes, in analogy with the numberings of classes of algebraic structures popular in computability theory. We estimate the complexity of (effective) homeomorphism w.r.t. these numberings, and of some natural index sets. In particular, we give precise characterizations of the complexity of certain classes related to separation axioms.
Переведенное названиеНумерации классов эффективных квази-польских пространств
Язык оригиналаанглийский
Название основной публикацииRevolutions and Revelations in Computability
ИздательSpringer Nature
Страницы88-102
Число страниц15
DOI
СостояниеОпубликовано - 1 янв 2022
Событиеcomputability in europe-2022 -
Продолжительность: 11 июл 2022 → …

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ИздательSpringer Nature
Том13359
ISSN (печатное издание)0302-9743

конференция

конференцияcomputability in europe-2022
Период11/07/22 → …

ID: 126984206