Computability on the probability measures on the Borel sets of the unit interval

DOI10.1016/S0304-3975(98)00298-9zbMath0916.68043WikidataQ126843235 ScholiaQ126843235MaRDI QIDQ1292415

Weihrauch, Klaus

Publication date: 21 June 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

probability measures; computable operators; computable analysis

Mathematics Subject Classification ID

28E15: Other connections with logic and set theory

03D65: Higher-type and set recursion theory

Related Items

Computable Riesz Representation for Locally Compact Hausdorff Spaces, Notions of Probabilistic Computability on Represented Spaces, Admissible Representations of Probability Measures, When series of computable functions with varying domains are computable, On the computability of a construction of Brownian motion, Algorithmic randomness over general spaces, On the topological aspects of the theory of represented spaces, Kolmogorov complexity and the geometry of Brownian motion, Computability on random events and variables in a computable probability space, Algorithmic randomness, reverse mathematics, and the dominated convergence theorem, Computable de Finetti measures, Computability of measurable sets via effective topologies, Representing probability measures using probabilistic processes, Are unbounded linear operators computable on the average for Gaussian measures?, A computable approach to measure and integration theory, Computability on random variables, Random elements in effective topological spaces with measure., Uncomputably noisy ergodic limits, Computability of probability measures and Martin-Löf randomness over metric spaces, A computable version of the Daniell-Stone theorem on integration and linear functionals, An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages, Computability on measurable functions, Computability of the Radon-Nikodym Derivative, Computable Exchangeable Sequences Have Computable de Finetti Measures

Cites Work

• Domain theory and integration
• Theory of representations
• Computability on computable metric spaces
• Power domains and iterated function systems
• Computable functionals
• Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item