Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661563 | Annals of Pure and Applied Logic | 2016 | 11 Pages |
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
Dănuţ Rusu, Gabriel Ciobanu,