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]

Authors

Rodney G. Downey

This author has not been identified. Look up 'Rodney G. Downey' in Google

Satyadev Nandakumar

This author has not been identified. Look up 'Satyadev Nandakumar' in Google

André Nies

This author has not been identified. Look up 'André Nies' in Google