文章基本信息

标题：Domain Representations Induced by Dyadic Subbases
本地全文：下载
作者：Hideki Tsuiki ; Yasuyuki Tsukamoyo
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2015
卷号：11
期号：1
页码：1
DOI：10.2168/LMCS-11(1:17)2015
出版社：Technical University of Braunschweig
摘要：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.
其他关键词：: domain theory, subbase, compact Hausdorff space.