Probabilistic Powerdomains and Quasi-Continuous Domains

Jean Goubault-Larrecq

The probabilistic powerdomain $\mathbf{V}X$ on a space $X$ is the space of all continuous valuations on $X$. We show that, for every quasi-continuous domain $X$, $\mathbf{V}X$ is a…