Title:Inside the Muchnik Degrees: Discontinuity, Learnability, and Constructivism

Abstract:It is known that infinitely many Medvedev degrees exist inside the Muchnik degree of any nontrivial \Pi_1 subset of Cantor space. We shed light on the fine structures inside these Muchnik degrees related to Learning Theory, Constructive Mathematics, and Computability Theory for discontinuous functions. First of all, we classify nonuniformly computable functions on Baire space from the viewpoint of Learning Theory, and then we investigate separation techniques to these classes in the strongest sense possible. By applying these techniques, among other results, we show that every nonzero Medvedev degree of \Pi_1 sets has the strong anti-cupping property, and that the \Sigma_2 law of excluded middle (\Sigma_2-LEM) is sufficient to transform each 3-valued diagonally noncomputable function (DNR_3) into a 2-valued diagonally noncomputable function (DNR_2), whereas neither the \Sigma_2 double negation elimination (\Sigma_2-DNE) nor the \Sigma_2 lessor limited principle of omniscience (\Sigma_2-LLPO) is sufficient. We also give characterizations of our classes of nonuniformly computable functions by piecewise computability, constructive principle, and Wadge games.