Natural Factors of the Muchnik Lattice Capturing IPC
arXiv:1210.6538
Abstract
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.
arXiv commentVarious minor corrections