2026-07-20T05:25:14Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:137 2024-03-06T11:05:51Z ddc:004 open_access

Dyadic Subbases and Representations of Topological Spaces Tsuiki, Hideki Dyadic subbase embedding computation over topological spaces Plotkin's $T^\omega$ We explain topological properties of the embedding-based approach to computability on topological spaces. With this approach, he considered a special kind of embedding of a topological space into Plotkin's $T^\omega$, which is the set of infinite sequences of $T = \{0,1,\bot \}$. We show that such an embedding can also be characterized by a dyadic subbase, which is a countable subbase $S = (S_0^0, S_0^1, S_1^0, S_1^1, \ldots)$ such that $S_n^j$ $(n = 0,1,2,\ldots; j = 0,1$ are regular open and $S_n^0$ and $S_n^1$ are exteriors of each other. We survey properties of dyadic subbases which are related to efficiency properties of the representation corresponding to the embedding. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hideki Tsuiki 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.04351.15 urn:nbn:de:0030-drops-1376 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.15 eng https://creativecommons.org/licenses/by/4.0/legalcode