Formal topological characterizations of various continuous domains

AbstractIn 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