Constructing the space of valuations of a quasi-Polish space as a space of ideals

06/30/2021
by   Matthew de Brecht, et al.
0

We construct the space of valuations on a quasi-Polish space in terms of the characterization of quasi-Polish spaces as spaces of ideals of a countable transitive relation. Our construction is closely related to domain theoretical work on the probabilistic powerdomain, and helps illustrate the connections between domain theory and quasi-Polish spaces. Our approach is consistent with previous work on computable measures, and can be formalized within weak formal systems, such as subsystems of second order arithmetic.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset