55 citations · 133 across the 13 of their papers we have counts for
Showing 2013 · math.LOShow all
3 papers · 2 filters
math.LO2013
Denjoy, Demuth, and Density
Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller +1
We consider effective versions of two classical theorems, the Lebesgue density theorem and the Denjoy-Young-Saks theorem. For the first, we show that a Martin-Loef random real $z\i…
math.LO2013
Density, forcing, and the covering problem
Adam R. Day, Joseph S. Miller
We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-Löf random set X such that X does not compute 0' and X computes e…
math.LO2013
Randomness and lowness notions via open covers
Laurent Bienvenu, Joseph S. Miller
One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R u…