55 citations · 133 across the 13 of their papers we have counts for
Showing 2015 · math.LOShow all
2 papers · 2 filters
math.LO2015
Energy randomness
Joseph S. Miller, Jason Rute
Energy randomness is a notion of partial randomness introduced by Diamondstone and Kjos-Hanssen to characterize the sequences that can be elements of a Martin-Löf random closed set…
math.LO2015
Forcing with Bushy Trees
Mushfeq Khan, Joseph S. Miller
We present several results that rely on arguments involving the combinatorics of "bushy trees". These include the fact that there are arbitrarily slow-growing diagonally noncomputa…