Martin-Löf randomness implies multiple recurrence in effectively closed sets

DOI10.1215/00294527-2019-0017OpenAlexW2962495348MaRDI QIDQ2330508

André Nies, Satyadev Nandakumar, Rodney G. Downey

Publication date: 22 October 2019

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1562810592

zbMATH Keywords

symbolic dynamicsalgorithmic randomnesseffectively closed setsmutiple recurrence

Mathematics Subject Classification ID

Ergodic theory of linear operators (47A35) Ergodic theorems, spectral theory, Markov operators (37A30) Algorithmic randomness and dimension (03D32)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
• Randomness on computable probability spaces -- a dynamical point of view
• Upcrossing inequalities for stationary sequences and applications
• Martin-Löf random points satisfy Birkhoff’s ergodic theorem for effectively closed sets
• The dimension of ergodic random sequences
• Algorithmic Randomness and Complexity
• Randomness and differentiability
• Von Mises' definition of random sequences reconsidered
• The Law of the Iterated Logarithm for Random Kolmogorov, or Chaotic, Sequences
• Эффективная сходимость по вероятности и эргодическая теорема для индивидуальных случайных последовательностей

This page was built for publication: Martin-Löf randomness implies multiple recurrence in effectively closed sets