Abstract | ||
---|---|---|
We introduce a new type of dcpo-completion of posets, called D-completion. For any poset P, the D-completion exists, and P and its D-completion have the isomorphic Scott closed set lattices. This completion is idempotent. A poset P is continuous (algebraic) if and only if its D-completion is continuous(algebraic). Using the D-completion, we construct the local dcpo-completion of posets, that revises the one given by Mislove. In the last section, we define and study bounded sober spaces. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1016/j.tcs.2010.02.020 | Theoretical Computer Science |
Keywords | DocType | Volume |
D-completion,Continuous poset,Continuous dcpo,Local dcpo | Journal | 411 |
Issue | ISSN | Citations |
22 | 0304-3975 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dongsheng Zhao | 1 | 64 | 6.88 |
Taihe Fan | 2 | 35 | 8.18 |