Computable Exchangeable Sequences Have Computable de Finetti Measures
From MaRDI portal
Publication:3576054
DOI10.1007/978-3-642-03073-4_23zbMath1233.03051OpenAlexW1538179364MaRDI QIDQ3576054
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
exchangeabilitymutationde Finetti theoremcomputable probability theoryprobabilistic programming languages
Functional programming and lambda calculus (68N18) Exchangeability for stochastic processes (60G09) Computation over the reals, computable analysis (03D78)
Related Items
Randomness and the Ergodic Decomposition ⋮ Computable de Finetti measures ⋮ Computable Measure Theory and Algorithmic Randomness
Uses Software
Cites Work
- Domain theory and integration
- Representing probability measures using probabilistic processes
- On exchangeable random variables and the statistics of large graphs and hypergraphs
- Representations for partially exchangeable arrays of random variables
- Semantics of probabilistic programs
- Uses of exchangeability
- Computability on random variables
- Computability on the probability measures on the Borel sets of the unit interval
- Symmetric Measures on Cartesian Products
- On stationary sequences of random variables and the de Finetti's equivalence
- Graph limits and exchangeable random graphs
- An Extension Result for Continuous Valuations
- Stochastic lambda calculus and monads of probability distributions
- Computable metrization
- Admissible representations for probability measures
- Borel Complexity of Topological Operations on Computable Metric Spaces
- Probabilistic Symmetries and Invariance Principles
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
