Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals

Author Matthew de Brecht

Thumbnail PDF


  • Filesize: 0.63 MB
  • 10 pages

Document Identifiers

Author Details

Matthew de Brecht
  • Kyoto University, Japan


We thank the reviewers for carefully reading this paper and providing feedback.

Cite AsGet BibTex

Matthew de Brecht. Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals. In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 216, pp. 9:1-9:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


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.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Topology
  • Theory of computation → Probabilistic computation
  • Quasi-Polish spaces
  • space of valuations
  • domain theory
  • measure theory


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. R. Chen. Borel functors, interpretations, and strong conceptual completeness for ℒ_ω₁ω. Transactions of the American Mathematical Society, 372:8955-8983, 2019. Google Scholar
  2. M. de Brecht. Quasi-Polish spaces. Annals of Pure and Applied Logic, 164:356-381, 2013. Google Scholar
  3. M. de Brecht. Extending continuous valuations on quasi-Polish spaces to Borel measures. Twelfth International Conference on Computability and Complexity in Analysis, 2015. Google Scholar
  4. M. de Brecht. Some notes on spaces of ideals and computable topology. In Proceedings of the 16th Conference on Computability in Europe, CiE 2020, volume 12098 of Lecture Notes in Computer Science, pages 26-37, 2020. Google Scholar
  5. M. de Brecht, J. Goubault-Larrecq, X. Jia, and Z. Lyu. Domain-complete and LCS-complete spaces. Electronic Notes in Theoretical Computer Science, 345:3-35, 2019. Google Scholar
  6. M. de Brecht and T. Kawai. On the commutativity of the powerspace constructions. Logical Methods in Computer Science, 15:1-25, 2019. Google Scholar
  7. M. de Brecht, A. Pauly, and M. Schröder. Overt choice. Computability, 9:169-191, 2020. Google Scholar
  8. G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, and D. S. Scott. Continuous Lattices and Domains. Cambridge University Press, 2003. Google Scholar
  9. J. Goubault-Larrecq. Complete quasi-metrics for hyperspaces, continuous valuations, and previsions. arXiv, 2017. URL:
  10. J. Goubault-Larrecq and K. Ng. A few notes on formal balls. Logical Methods in Computer Science, 13(4):1-34, 2017. Google Scholar
  11. R. Heckmann. Spaces of valuations. Annals of the New York Academy of Sciences, 806(1):174-200, 1996. Google Scholar
  12. R. Heckmann. Spatiality of countably presentable locales (proved with the Baire category theorem). Math. Struct. in Comp. Science, 25:1607-1625, 2015. Google Scholar
  13. M. Hoyrup and C. Rojas. Computability of probability measures and Martin-Löf randomness over metric spaces. Information and Computation, 207:830-847, 2009. Google Scholar
  14. C. Jones. Probabilistic Non-determinism. PhD thesis, University of Edinburgh, 1989. Google Scholar
  15. C. Mummert. On the Reverse Mathematics of General Topology. PhD thesis, Pennsylvania State University, 2005. Google Scholar
  16. C. Mummert. Reverse Mathematics of MF Spaces. Journal of Mathematical Logic, 06(02):203-232, 2006. Google Scholar
  17. C. Mummert and F. Stephan. Topological aspects of Poset spaces. Michigan Mathematical Journal, 59(1):3-24, 2010. Google Scholar
  18. A. Pauly, D. Seon, and M. Ziegler. Computing Haar Measures. In 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, volume 152 of LIPIcs, pages 34:1-34:17, 2020. Google Scholar
  19. M. Schröder. Admissible representations of probability measures. Electr. Notes Theor. Comput. Sci., 167:61-78, 2007. Google Scholar
  20. S. Vickers. A localic theory of lower and upper integrals. Mathematical Logic Quarterly, 54:109-123, 2008. Google Scholar
  21. K. Weihrauch. Computable Analysis. Springer, 2000. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail