Computable exchangeable sequences have computable de Finetti measures

DOI10.1007/978-3-642-03073-4_23MaRDI QIDQ3576054zbMATH OpenOpenAlexFDO

Authors Daniel M. Roy, Cameron E. Freer

Publication date 28 July 2010

Published in Mathematical Theory and Computational Practice (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03073-4_23

zbMATH Keywords

computable probability theoryde Finetti theoremexchangeabilitymutationprobabilistic programming languages

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Exchangeability for stochastic processes (60G09) Functional programming and lambda calculus (68N18)

Recommendations

• Computable de Finetti measures
• An elementary proof of de Finetti's theorem
• De Finetti's theorem for abstract finite exchangeable sequences
• scientific article; zbMATH DE number 4009438
• On de Finetti's representation theorem

Cites work

• Admissible representations for probability measures
• An Extension Result for Continuous Valuations
• Borel Complexity of Topological Operations on Computable Metric Spaces
• Computability on random variables
• Computability on the probability measures on the Borel sets of the unit interval
• Computable metrization
• Domain theory and integration
• Graph limits and exchangeable random graphs
• scientific article; zbMATH DE number 1713116 (Why is no real title available?)
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3862208 (Why is no real title available?)
• scientific article; zbMATH DE number 5309069 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 3514749 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 774881 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• On exchangeable random variables and the statistics of large graphs and hypergraphs
• On stationary sequences of random variables and the de Finetti's equivalence
• Probabilistic Symmetries and Invariance Principles
• Representations for partially exchangeable arrays of random variables
• Representing probability measures using probabilistic processes
• Semantics of probabilistic programs
• Stochastic lambda calculus and monads of probability distributions
• Symmetric Measures on Cartesian Products
• Uses of exchangeability

Cited in

(5)

• Randomness and the ergodic decomposition
• Dynamic Programming by Exchangeability
• Computable Measure Theory and Algorithmic Randomness
• Algorithmic barriers to representing conditional independence
• Computable de Finetti measures

Describes a project that uses

Uses Software

• IBAL
• Church

This page was built for publication: Computable exchangeable sequences have computable de Finetti measures

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