Natural Factors of the Muchnik Lattice Capturing IPC
Logic
2013-06-28 v2
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.
Keywords
Cite
@article{arxiv.1210.6538,
title = {Natural Factors of the Muchnik Lattice Capturing IPC},
author = {Rutger Kuyper},
journal= {arXiv preprint arXiv:1210.6538},
year = {2013}
}
Comments
Various minor corrections