Intuitionistic Logic and Muchnik Degrees
Logic
2010-03-24 v1
Abstract
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic. This complements a now classic result of Skvortsova for the Medvedev lattice.
Keywords
Cite
@article{arxiv.1003.4489,
title = {Intuitionistic Logic and Muchnik Degrees},
author = {Andrea Sorbi and Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:1003.4489},
year = {2010}
}