Computability on random events and variables in a computable probability space

DOI10.1016/J.TCS.2012.06.027MaRDI QIDQ690479zbMATH OpenOpenAlexFDO

Authors Yongcheng Wu

Publication date 27 November 2012

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

Full work available at URL https://doi.org/10.1016/j.tcs.2012.06.027

zbMATH Keywords

random variablescomputability of integrationcomputable probability spacemultirepresentationrandom eventsrecursive completeness

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Recommendations

• scientific article; zbMATH DE number 5309069
• Notions of Probabilistic Computability on Represented Spaces
• Computability on random variables
• Computability of probability measures and Martin-Löf randomness over metric spaces
• Computable randomness and betting for computable probability spaces

Cites work

• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1746044 (Why is no real title available?)
• scientific article; zbMATH DE number 1416652 (Why is no real title available?)
• A computable approach to measure and integration theory
• A computable version of the Daniell-Stone theorem on integration and linear functionals
• A constructive study of measure theory
• Computability of measurable sets via effective metrics
• Computability of measurable sets via effective topologies
• Computability on random variables
• Computability on the probability measures on the Borel sets of the unit interval
• Constructive measure theory
• Domain theory and integration
• Filter spaces and continuous functionals
• Measure theory. Vol. I and II
• Notes on constructive probability theory
• On Sequential Convergence
• On the combination of topologies
• Representing probability measures using probabilistic processes
• Spaces in which sequences suffice
• The computable multi-functions on multi-represented sets are closed under programming
• The constructive Radon-Nikodym theorem
• Topological and limit-space subcategories of countably-based equilogical spaces

Cited in

(3)

• Notions of Probabilistic Computability on Represented Spaces
• scientific article; zbMATH DE number 5309069 (Why is no real title available?)
• Computability on measurable functions

This page was built for publication: Computability on random events and variables in a computable probability space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690479)