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]
No references recorded for this publication.
No citations of this publication recorded.