{"id":"arxiv/2610.25051","url":"https://arxiv.org/abs/2610.25051","tags":["math.GN"],"score":0,"title":"Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains","domain":"math.GN","source":"arxiv","authors":["Xiaoyong Xi","Chong Shen","Dongsheng Zhao"],"reviews":0,"subject":"math.GN","summary":"The Jung-Tix problem concerns the compatibility of probabilistic powerdomains with Cartesian closed categories of domains. We prove that both the subprobability and probability valuation powerdomains of every pointed FS-domain are FS-domains.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-18","reactions":{}}