3 citations · 6 across the 6 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
math.LO2013★ 3 cited
Natural Factors of the Medvedev Lattice Capturing IPC
Rutger Kuyper
Skvortsova showed that there is a factor of the Medvedev lattice which captures intuitionistic propositional logic (IPC). However, her factor is unnatural in the sense that it is c…
math.LO2013
Effective Genericity and Differentiability
Rutger Kuyper, Sebastiaan A. Terwijn
We prove that a real x is 1-generic if and only if every differentiable computable function has continuous derivative at x. This provides a counterpart to recent results connecting…