eng
episciences.org
Logical Methods in Computer Science
1860-5974
2015-03-31
Volume 11, Issue 1
10.2168/LMCS-11(1:17)2015
1175
journal article
Domain Representations Induced by Dyadic Subbases
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://lmcs.episciences.org/1175/pdf
Mathematics - General Topology
Computer Science - Logic in Computer Science