5 papers · 1 filter
The reflective hull of the two-element chain in DCPO: properness, maximal Γ-faithfulness, and an internal reflection formula
Xulong He, Zhenchao Lyu, Yuxu Chen +1
Let \(\DCPO\) be the category of dcpos and Scott-continuous maps, and let \(\Rtwo\) be the reflective hull of the two-element chain \(2\). We prove that \(\Rtwo\) is the least non-…
A note on probabilistic powerdomains, RB-domains, and bc-domains
Yuxu Chen
For a finite nonempty poset \(F\), the normalized probabilistic powerdomain \(\Vone(F)\) is an RB-domain exactly when \(F\) is a finite rooted tree. We extend this classification t…
FS-domains are not always RB-domains
Yuxu Chen, Hui Kou, Zhenchao Lyu
We prove that Lawson's planar closed-disk domain is not an RB-domain. This domain is the dcpo of all closed disks in the Euclidean plane, together with the whole plane as bottom, o…
Cone domains separate FS-domains from RB-domains
Yuxu Chen
Let be a closed, convex, pointed and generating cone in a finite-dimensional real vector space , and let \( D_C=(-C)\cup\{\bot\}\) be the negative cone with a new least elem…
Power structures of directed spaces
Xiaolin Xie, Yuxu Chen, Hui Kou
Powerdomains in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages.\ In this paper,\ we extend the notion of power…