Enumerating Classes of Effective Quasi-Polish Spaces
Enumerating Classes of Effective Quasi-Polish Spaces
复制标题
枚举有效准波兰空间的类
DOI：
10.1007/978-3-031-08740-0_8
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
& V. Selivanov
中科院分区：
文献类型：
--
作者：
M. de Brecht;T. Kihara;& V. Selivanov
我们讨论了有效拟波兰空间及其子类的理想表示。在此基础上，我们引入和研究这些类的自然数，类比于在可计算性理论中流行的代数结构类的编号。我们估计的复杂性（有效）同胚w.r.t.这些编号，以及一些自然索引集。特别是，我们给出了精确的刻画分离公理相关的某些类的复杂性。
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.