collaborators

6 papers

cs.LO2026

Finite-valuation approximable structures: a solution to the Jung--Tix problem of probabilistic powerdomains

Yuxu Chen, Hui Kou, Zhenchao Lyu

We introduce the category \(\FVA\) of finite-valuation approximable domains, a full subcategory of continuous domains contained in the category of pointed countably based FS-domain…

math.GN2026

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…

math.GN2026

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…

math.GN2026

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…

math.CO2026

Characterizing finite posets whose probabilistic powerdomain are RB-domains

Yuxu Chen, Hui Kou, Zhenchao Lyu

We classify the finite posets whose probabilistic powerdomain is an RB-domain. For a finite nonempty poset \(P\), let \(\Vone(P)\) be the probability powerdomain of , which is t…

math.GN2026

Monotone determined spaces via -generated spaces

Yuxu Chen, Hui Kou, Zhenchao Lyu

The category of monotone determined spaces is an extended topological framework for dcpos in domain theory. We first show that monotone determined spaces are exactly the spaces gen…