3 citations · 6 across the 6 of their papers we have counts for
Showing 2015 · math.LOShow all
3 papers · 2 filters
math.LO2015
On Weihrauch Reducibility and Intuitionistic Reverse Mathematics
Rutger Kuyper
We show that there is a strong connection between Weihrauch reducibility on one hand, and provability in EL_0, the intuitionistic version of RCA_0, on the other hand. More precisel…
math.LO2015
Levels of uniformity
Rutger Kuyper
We introduce a hierarchy of degree structures between the Medvedev and Muchnik lattices which allow varying amounts of non-uniformity. We use these structures to introduce the noti…
math.LO2015
Coarse Reducibility and Algorithmic Randomness
Denis R. Hirschfeldt, Carl G. Jockusch, Rutger Kuyper +1
A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputabl…