Article ID Journal Published Year Pages File Type
4661563 Annals of Pure and Applied Logic 2016 11 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, ,