On the Difference Hierarchy in Countably Based T0-Spaces
Author(s) -
Victor Selivanov
Publication year - 2008
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2008.12.022
Subject(s) - mathematics , hierarchy , hausdorff space , class (philosophy) , algebraic number , discrete mathematics , pure mathematics , computability , topological space , algebra over a field , computer science , mathematical analysis , artificial intelligence , economics , market economy
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 k-partitions. We discuss also a broad class of effective topological spaces closely relevant to our study of the difference hierarchy and to computability in topology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom