17 citations · 17 across the 2 of their papers we have counts for
1 paper · 1 filter
Laurent Bienvenu, Adam Day, Mathieu Hoyrup +2
A theorem of Kučera states that given a Martin-Löf random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A. We first prov…