3 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Rutger Kuyper
We give natural examples of factors of the Muchnik lattice which capture intuitionistic propositional logic (IPC), arising from the concepts of lowness, 1-genericity, hyperimmune-f…