Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains

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.