Essential and density topologies of continuous domains

Essential and density topologies of continuous domains
复制标题

DOI:
10.1016/j.apal.2016.04.014
复制
发表时间:
2016-09
期刊:
Ann. Pure Appl. Log.
影响因子:
--
通讯作者:
D. Rusu;Gabriel Ciobanu
D. Rusu;Gabriel Ciobanu
中科院分区:
其他
文献类型:
--
作者:
D. Rusu;Gabriel Ciobanu

文献摘要

被引文献

相似文献

我们介绍和研究两个拓扑结构,以提供一个拓扑解释域理论的基础。关键的发现是,在连续域中,基恰好对应于这些新拓扑之一的稠密集。此外,我们提供了一个拓扑解释的基础上,以及新的代数域的特性。
We introduce and study two topologies in order to provide a topological interpretation of bases in domain theory. The key finding is that, in a continuous domain, bases correspond exactly to dense sets of one of these new topologies. Moreover, we provide a topological interpretation for several properties of the bases, as well as novel characterizations of algebraic domains.