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…