Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets

Rodney G. Downey, Satyadev Nandakumar, André Nies. Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets. Notre Dame Journal of Formal Logic, 60(3):491-502, 2019. [doi]

Abstract

Abstract is missing.