A jump operator for subrecursion theories

In classical recursion theory, the jump operator is an important concept fundamental in the study of degrees. In particular, it provides a way of defining the hyperarithmetic hierarchy by iterating over Kleene's O. In subrecursion theories, hierarchies (variants of the fast growing hierarchy) are also important in underlying the central concepts, e.g. in classifying provably recursive functions and associated independence results for given theories (see, e.g. [BW87], [HW96], [R84] and [Z77]). A major difference with the hyperarithmetic hierarchy is in the way each level of a subrecursive hierarchy is crucially dependent upon the system of ordinal notations used (see [F62]). This has been perhaps the major stumbling block in finding a classification of all general recursive functions using such hierarchies.Here we present a natural subrecursive analogue of the jump operator and prove that the hierarchy based on the ”subrecursive jump” is elementarily equivalent to the fast growing hierarchy.The paper is organised as follows. First the preliminary definitions are given together with a statement of the main theorem and a brief outline of its proof. The proof of the theorem is then given, with the more technical parts separated out as facts which are proven afterwards.We let {e}g(x) denote computation of the e-th partial recursion with oracle g, on input x. Furthermore [e] denotes the e-th elementary recursive function, defined so thatSimilarly, for a given oracle g the e-th relativized elementary function is denoted by [e]g.

Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers

In this paper we introduce a new hierarchy of sets and operators which we call the REA hierarchy for “recursively enumerable in and above”. The hierarchy is generated by composing (possibly) transfinite sequences of the pseudo-jump operators considered in Jockusch and Shore [1983]. We there studied pseudo-jump operators defined by analogy with the Turing jump as ones taking a set A to A ⊕ for some index e. We would now call these 1-REA operators and will extend them to α-REA operators for recursive ordinals α in analogy with the iterated Turing jump operators (A → A(α) for α < and Kleene's hyperarithmetic hierarchy. The REA sets will then, of course, be the results of applying these operators to the empty set. They will extend and generalize Kleene's H sets but will still be contained in the class of set singletons thus providing us with a new richer subclass of the set singletons which, as we shall see, is related to the work of Harrington [1975] and [1976] on the problems of Friedman [1975] about the arithmetic degrees of such singletons. Their degrees also give a natural class extending the class H of Jockusch and McLaughlin [1969] by closing it off under transfinite iterations as well as the inclusion of [d, d′] for each degree d in the class. The reason for the class being closed under this last operation is that the REA operators include all operators and so give a new hierarchy for them as well as the sets. This hierarchy also turns out to be related to the difference hierarchy of Ershov [1968], [1968a] and [1970]: every α-r.e. set is α-REA but each level of the REA hierarchy after the first extends all the way through the difference hierarchy although never entirely encompassing even the next level of the difference hierarchy.

The next admissible set

In this paper we describe generalizations of several approaches to the hyperarithmetic hierarchy, show how they are related to the Kripke-Platek theory of admissible ordinals and sets, and study conditions under which the various approaches remain equivalent.To put matters in some perspective, let us first review various approaches to the theory of hyperarithmetic sets. For most purposes, it is convenient to first define the semi-hyperarithmetic (semi-HA) subsets of N. A set is then said to be hyperarithmetic (HA) if both it and its complement are semi-HA. A total number-theoretic function is HA if its graph is HA.