Constructive equivalence relations on computable probability measures
@article{Bienvenu2009ConstructiveER, title={Constructive equivalence relations on computable probability measures}, author={L. Bienvenu and W. Merkle}, journal={Ann. Pure Appl. Log.}, year={2009}, volume={160}, pages={238-254} }
Abstract A central object of study in the field of algorithmic randomness are notions of randomness for sequences, i.e., infinite sequences of zeros and ones. These notions are usually defined with respect to the uniform measure on the set of all sequences, but extend canonically to other computable probability measures. This way each notion of randomness induces an equivalence relation on the computable probability measures where two measures are equivalent if they have the same set of random… Expand
Topics from this paper
12 Citations
Computable randomness and betting for computable probability spaces
- Mathematics, Computer Science
- Math. Log. Q.
- 2016
- 14
- PDF
Algorithmic identification of probabilities is hard
- Mathematics, Computer Science
- J. Comput. Syst. Sci.
- 2018
- 1
How Powerful Are Integer-Valued Martingales?
- Mathematics, Computer Science
- Theory of Computing Systems
- 2011
- 10
- PDF
Game-theoretic approaches to randomness: unpredictability and stochasticity. (Caractérisations de l'aléatoire par les jeux: imprédictibilité et stochasticité)
- Computer Science, Mathematics
- 2008
- 4
- PDF
References
SHOWING 1-10 OF 27 REFERENCES
Constructive Equivalence Relations on Computable Probability Measures
- Computer Science, Mathematics
- CSR
- 2006
- 7
Kolmogorov-Loveland randomness and stochasticity
- Computer Science, Mathematics
- Ann. Pure Appl. Log.
- 2006
- 60
- PDF
Algorithmic Randomness and Complexity
- Mathematics, Computer Science
- Theory and Applications of Computability
- 2010
- 767
- Highly Influential
- PDF
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences
- Mathematics, Computer Science
- Journal of Symbolic Logic
- 2003
- 29
A unified approach to the definition of random sequences
- Mathematics, Computer Science
- Mathematical systems theory
- 2005
- 207