DOI

We establish some results on some variants of the Hausdorff difference hierarchy. In particular, we extend the recently developed theory of difference hierarchy over the open sets in ω-algebraic domains to a similar theory for ω-continuous domains, and prove some analogs of the Hausdorff-Kuratowski theorem for kpartitions. We discuss also a broad class of effective topological spaces closely relevant to our study of the difference hierarchy and to computability in topology.
Язык оригиналаанглийский
Название основной публикацииProceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008
Страницы257-269
Число страниц13
DOI
СостояниеОпубликовано - 1 янв 2008
СобытиеComputability and complexity in analysis -
Продолжительность: 21 авг 2008 → …

конференция

конференцияComputability and complexity in analysis
Период21/08/08 → …

ID: 127087341