| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 5777703 | Topology and its Applications | 2017 | 7 Pages |
Abstract
In this paper, we show that the consistent Hoare powerdomain Hc(P) over a dcpo P exists and is isomorphic to a special Scott closed subset of Î(P) relative to the Scott topology Ï(Î(P)), where Î(P) is the collection of all nonempty Scott closed subsets of P ordered by the set-theoretic inclusion relation.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology
Authors
Jun Geng, Hui Kou,