Domain Representations Induced by Dyadic Subbases

Hideki Tsuiki; Yasuyuki Tsukamoyo

doi:10.2168/LMCS-11(1:17)2015

Hideki Tsuiki ; Yasuyuki Tsukamoyo - Domain Representations Induced by Dyadic Subbases

lmcs:1175 - Logical Methods in Computer Science, March 31, 2015, Volume 11, Issue 1 - https://doi.org/10.2168/LMCS-11(1:17)2015

Domain Representations Induced by Dyadic SubbasesArticle

Authors: Hideki Tsuiki ; Yasuyuki Tsukamoyo

We study domain representations induced by dyadic subbases and show that a proper dyadic subbase S of a second-countable regular space X induces an embedding of X in the set of minimal limit elements of a subdomain D of $\{0,1,\perp\}\omega$. In particular, if X is compact, then X is a retract of the set of limit elements of D.

https://doi.org/10.2168/LMCS-11(1:17)2015

Source: arXiv.org:1401.1393

Volume: Volume 11, Issue 1

Secondary volumes: Special Festschrift Issue in Honor of Dieter Spreen

Published on: March 31, 2015

Imported on: May 16, 2013

Keywords: Mathematics - General Topology, Computer Science - Logic in Computer Science

Licence: arXiv.org - Non-exclusive license to distribute