Multiple Recurrence and Algorithmic Randomness

Rodney G. Downey, Satyadev Nandakumar, Andre Nies

This work contributes to the programme of studying effective versions of "almost everywhere" theorems in analysis and ergodic theory via algorithmic randomness. We determine the le…