DOMAIN REPRESENTATIONS INDUCED BY DYADIC SUBBASES

作者:Tsuiki Iiideki*; Tsijkamoto Yasuyuki
来源:Logical Methods in Computer Science, 2015, 11(1): 17.
DOI:10.2168/LMCS-11(1:17)2015

摘要

We study domain representations induced by dyadic subbases and show that a proper dyadic subbase 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, perpendicular to}(omega). In particular, if X is compact, then X is a retract of the set of limit elements of D.

  • 出版日期2015