{"id":"arxiv/2607.04076","url":"https://arxiv.org/abs/2607.04076","tags":["math.GN","math.PR"],"score":0,"title":"A note on probabilistic powerdomains, RB-domains, and bc-domains","domain":"math.GN","source":"arxiv","authors":["Yuxu Chen"],"reviews":0,"subject":"math.GN","summary":"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 to arbitrary nonempty dcpos from the viewpoint of forbidden structure. The principal-ideal chain condition is expressed by the absence of a lower fork, i.e. a triple \\((x,y,t)\\) with \\(x\\leq t\\), \\(y\\leq t\\), and \\(x\\parallel y\\). A useful point is that any dcpo $P$ without lower forks is continuous. For normalized valuations the least element remains necessary, and we prove \\[ \\begin{aligned} \\Vone(P)\\text{ is RB}…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-05","reactions":{}}