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 Subbases

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.

Volume: Volume 11, Issue 1
Published on: March 31, 2015
Accepted on: June 25, 2015
Submitted on: May 16, 2013
Keywords: Mathematics - General Topology,Computer Science - Logic in Computer Science