6 citations · 26 across the 19 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
Randomness notions and reverse mathematics
André Nies, Paul Shafer
We investigate the strength of a randomness notion as a set-existence principle in second-order arithmetic: for each there is an that is -random re…
math.LO2018
Comparing the degrees of enumerability and the closed Medvedev degrees
Paul Shafer, Andrea Sorbi
We compare the degrees of enumerability and the closed Medvedev degrees and find that many situations occur. There are nonzero closed degrees that do not bound nonzero degrees of e…