Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4658114 | Topology and its Applications | 2016 | 10 Pages |
Abstract
In terms of Scott-closed sets, the concept of QC-continuous posets, a generalization of C-continuous lattices is introduced. With this new concept, the following results are obtained: (1) a complete lattice is generalized completely distributive (GCD) iff it is quasicontinuous and QC-continuous; (2) a dcpo L is quasicontinuous (resp., quasialgebraic) iff the Hoare powerdomain H(L)H(L) is quasicontinuous (resp., quasialgebraic); (3) the Hoare powerdomain H(L)H(L) of a QFS-domain L is still a QFS-domain.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology
Authors
Qingyu He, Luoshan Xu, Lingyun Yang,