arXiv:1003.4489 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords muchnik degrees, intuitionistic logic, captures intuitionistic propositional logic, muchnik lattice, medvedev lattice Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset