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.
Original languageEnglish
Title of host publicationProceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008
Pages257-269
Number of pages13
DOIs
StatePublished - 1 Jan 2008
EventComputability and complexity in analysis -
Duration: 21 Aug 2008 → …

Conference

ConferenceComputability and complexity in analysis
Period21/08/08 → …

    Research areas

  • Computably enumerable space, Difference hierarchy, K-partition, Limit hierarchy, Space, ω-continuous domain

ID: 127087341