Formal topological characterizations of various continuous domains
In this paper, some new concepts such as (super-compact) quasi-bases and the consistently (locally) coherent property of super-compact quasi-bases, are introduced. With these concepts, various continuous domains including bc-domains and (s)L-domains, are successfully characterized in formal topological ways. Furthermore, to deal with algebraic domains, the concept of quasi-formal points, a generalization of formal points, is introduced. Formal topological characterizations of various algebraic domains via quasi-formal points are obtained. (C) 2008 Elsevier Ltd. All rights reserved.
continuous domain quasi-base bc-domain locally super-coherent topology (quasi-)formal point l-domain