Standard

On the difference hierarchy in countably based T0-spaces. / Selivanov, Victor.

Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. 2008. p. 257-269.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Harvard

Selivanov, V 2008, On the difference hierarchy in countably based T0-spaces. in Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. pp. 257-269, Computability and complexity in analysis, 21/08/08. https://doi.org/10.1016/j.entcs.2008.12.022

APA

Selivanov, V. (2008). On the difference hierarchy in countably based T0-spaces. In Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008 (pp. 257-269) https://doi.org/10.1016/j.entcs.2008.12.022

Vancouver

Selivanov V. On the difference hierarchy in countably based T0-spaces. In Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. 2008. p. 257-269 https://doi.org/10.1016/j.entcs.2008.12.022

Author

Selivanov, Victor. / On the difference hierarchy in countably based T0-spaces. Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. 2008. pp. 257-269

BibTeX

@inproceedings{3492aa07e774466088ed8b1077ecce5b,
title = "On the difference hierarchy in countably based T0-spaces",
abstract = "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.",
keywords = "Computably enumerable space, Difference hierarchy, K-partition, Limit hierarchy, Space, ω-continuous domain",
author = "Victor Selivanov",
year = "2008",
month = jan,
day = "1",
doi = "10.1016/j.entcs.2008.12.022",
language = "English",
pages = "257--269",
booktitle = "Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008",
note = "Computability and complexity in analysis ; Conference date: 21-08-2008",

}

RIS

TY - GEN

T1 - On the difference hierarchy in countably based T0-spaces

AU - Selivanov, Victor

PY - 2008/1/1

Y1 - 2008/1/1

N2 - 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.

AB - 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.

KW - Computably enumerable space

KW - Difference hierarchy

KW - K-partition

KW - Limit hierarchy

KW - Space

KW - ω-continuous domain

UR - http://www.scopus.com/inward/record.url?scp=85067207468&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2008.12.022

DO - 10.1016/j.entcs.2008.12.022

M3 - Conference contribution

AN - SCOPUS:85067207468

SP - 257

EP - 269

BT - Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008

T2 - Computability and complexity in analysis

Y2 - 21 August 2008

ER -

ID: 127087341