55 citations · 164 across the 24 of their papers we have counts for
1 paper · 2 filters
André Nies, Paul Shafer
We investigate the strength of a randomness notion R as a set-existence principle in second-order arithmetic: for each Z there is an X that is R-random re…