Degrees of inferability have been introduced to measure the learning power of inductive inference machines which have access to an oracle. The classical concept of degrees of unsolvability measures the computing power of oracles. In this paper we determine the relationship between both notions. 1 Introduction We consider learning of classes of recursive functions within the framework of inductive inference [21]. A recent theme is the study of inductive inference machines with oracles ([8, 10, 11, 17, 24] and tangentially [12]; cf. [10] for a comprehensive introduction and a collection of all previous results.) The basic question is how the information content of the oracle (technically: its Turing degree) relates with its learning power (technically: its inference degree---depending on the underlying inference criterion). In this paper a definitive answer is obtained for the case of recursively enumerable oracles and the case when only finitely many queries to the oracle are allo...

Abstract. We answer a question of Jockusch by constructing a hyperimmunefree minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical Sacks forcing. Some other applications are presented. 1. introduction Two fundamental construction techniques in set theory and computability theory are forcing with finite strings as conditions resulting in various forms of Cohen genericity, and forcing with perfect trees, resulting in various forms of minimality. Whilst these constructions are clearly incompatible, this paper was motivated by the general question of “How can minimality and (Cohen) genericity interact?”. Jockusch [5] showed that for n ≥ 2, no n-generic degree can bound a minimal degree, and Haught [4] extended earlier work of Chong and Jockusch to show that that every nonzero Turing degree below a 1-generic degree below 0 ′ was itself 1generic. Thus, it seemed that these forcing notions were so incompatible that perhaps no minimal degree could even be comparable with a 1-generic one. However, this conjecture was shown to fail independently by Chong and Downey [1] and by Kumabe [7]. In each of those papers, a minimal degree below m < 0 ′ and a 1-generic a < 0 ′ ′ are constructed with m < a. The specific question motivating the present paper is one of Jockusch who asked whether a hyperimmune-free (minimal) degree could be below a 1-generic one. The point here is that the construction of a hyperimmune-free degree by and large directly uses forcing with perfect trees, and is a much more “pure ” form of Spector-Sacks forcing [10] and [9]. This means that it is not usually possible to use tricks such as full approximation or forcing with partial computable trees, which are available to us when we only wish to construct (for instance) minimal degrees. For instance, minimal degrees can be below computably enumerable ones, whereas no degree below 0 ′ can be hyperimmune-free. Moreover, the results of Jockusch [5], in fact prove that for n ≥ 2, if 0 < a ≤ b and b is n-generic, then a bounds a n-generic degrees and, in particular, certainly is not hyperimmune free. This contrasts quite strongly with the main result below. In this paper we will answer Jockusch’s question, proving the following result.

There is a family of questions in relativized complexity theory---weak analogs of the Friedberg Jump-Inversion Theorem---that are resolved by 1-generic sets but which cannot be resolved by essentially any weaker notion of genericity. This paper defines aw2-generic sets, i.e., sets which meet every dense set of strings that is r.e. in some incomplete r.e. set. Aw2-generic sets are very close to 1-generic sets in strength, but are too weak to resolve these questions. In particular, it is shown that for any set X there is an aw2-generic set G such that NP G " co-NP G 6` P G\PhiX . (On the other hand, if G is 1-generic, then NP G " co-NP G ` P G\PhiSAT , where SAT is the NP- complete Satisfiability problem [6].) This result runs counter to the fact that most finite extension constructions in complexity theory can be made effective. These results imply that any finite extension construction that ensures any of the Friedberg analogs must be noneffective, even relative to an arbitrary incomplete r.e. set. It is then shown that the recursion theoretic properties of aw2-generic sets differ radically from those of 1-generic sets: every degree above 0 0 contains an aw2-generic set; no aw2-generic set exists below any incomplete r.e. set; there is an aw2-generic set which is the join of two Turing equivalent aw2-generic sets. Finally, a result of Shore is presented [30] which states that every degree above 0 0 is the jump of an aw2-generic degree. 1