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]
@article{DowneyNN19, title = {Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets}, author = {Rodney G. Downey and Satyadev Nandakumar and André Nies}, year = {2019}, doi = {10.1215/00294527-2019-0017}, url = {https://doi.org/10.1215/00294527-2019-0017}, researchr = {https://researchr.org/publication/DowneyNN19}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {60}, number = {3}, pages = {491-502}, }