Coding true arithmetic in the Medvedev and Muchnik degrees

Paul Shafer. Coding true arithmetic in the Medvedev and Muchnik degrees. Journal of Symbolic Logic, 76(1):267-288, 2011. [doi]

Abstract

Abstract is missing.