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

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.

• Publication year

  2021

• Venue

  Annual Conference for Computer Science Logic

• Publication date

  2021-06-30

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.4230/LIPIcs.CSL.2022.9arXiv 2106.15780
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Some Notes on Spaces of Ideals and Computable Topology

  2020influential reference
• Overt choice

  2019cited by this paper
• Computing Haar Measures

  2019cited by this paper
• Domain-complete and LCS-complete Spaces

  2019cited by this paper
• Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}

  2017cited by this paper
• On the commutativity of the powerspace constructions

  2017influential reference
• Complete Quasi-Metrics for Hyperspaces, Continuous Valuations, and Previsions

  2017cited by this paper
• A Few Notes on Formal Balls

  2016cited by this paper
• Spatiality of countably presentable locales (proved with the Baire category theorem)

  2014cited by this paper
• Quasi-Polish spaces

  2011cited by this paper
• Topological aspects of poset spaces

  2009cited by this paper
• Admissible representations for probability measures

  2007cited by this paper
• University of Birmingham,

  2007cited by this paper
• Computability of probability measures and Martin-Löf randomness over metric spaces

  2007cited by this paper
• Reverse Mathematics of MF Spaces

  2006cited by this paper
• Computable Analysis

  2005cited by this paper
• On the Reverse Mathematics of General Topology

  2005cited by this paper
• Continuous Lattices and Domains

  2003cited by this paper
• Spaces of Valuations

  1996cited by this paper
• Probabilistic non-determinism

  1990cited by this paper

• 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, Göttingen, Germany (Virtual Conference), February 14-19, 2022

  2022cites this paper