Natural Factors of the Muchnik Lattice Capturing IPC
  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-freeness and computable traceability. This provides a purely computational semantics for IPC. 
Rutger Kuyper
math.LO