Ergodic-Type Characterizations of Algorithmic Randomness, Computability in Europe, pp.49-58, 2010. ,
DOI : 10.1007/978-3-642-13962-8_6
Martin-Löf random points satisfy Birkhoff's ergodic theorem for effectively closed sets ,
Exact Expressions for Some Randomness Tests, Zeitschrift f??r Mathematische Logik und Grundlagen der Mathematik, vol.15, issue.25-27, pp.385-394, 1980. ,
DOI : 10.1002/malq.19800262502
Uniform test of algorithmic randomness over a general space, Theoretical Computer Science, vol.341, issue.1-3, pp.91-137, 2005. ,
DOI : 10.1016/j.tcs.2005.03.054
An Application of Martin-L??f Randomness to Effective Probability Theory, In Computability in Europe Lecture Notes in Computer Science, vol.219, issue.1-2, pp.260-269, 2009. ,
DOI : 10.1016/S0304-3975(98)00292-8
Applications of Effective Probability Theory to Martin-L??f Randomness, International Colloquium on Automata, Languages and Programming, pp.549-561, 2009. ,
DOI : 10.1007/978-3-642-02927-1_46
Computability of probability measures and Martin-Löf randomness over metric spaces, Information and Computation, vol.207, issue.7 0, pp.2207-2222, 2009. ,
An extension of van Lambalgen's theorem to infinitely many relative 1-random reals. To appear in the Notre Dame Journal of Formal Logic. [Nan08] Satyadev Nandakumar. An effective ergodic theorem and some applications, STOC '08: Proceedings of the 40th annual ACM symposium on Theory of computing, pp.39-44, 2008. ,
[vL87] Michiel van Lambalgen. Random sequences, 1987. ,
Effective convergence in probability and an ergodic theorem for individual random sequences. SIAM Theory of Probability and Its Applications, pp.39-50, 1997. ,