Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
434127 | Theoretical Computer Science | 2015 | 8 Pages |
Abstract
In this paper, we consider a common generalization of both s2s2-continuous posets and quasicontinuous domains, and we introduce new concepts of way below relations and s2s2-quasicontinuous posets. The main results are: (1) The way below relation on an s2s2-quasicontinuous poset has the interpolation property; (2) The λ2λ2-topology on an s2s2-quasicontinuous poset is completely regular; (3) A poset is s2s2-continuous iff it is meet s2s2-continuous and s2s2-quasicontinuous.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Wenfeng Zhang, Xiaoquan Xu,