Defining the Turing jump
Starting from the notion of effective computability in terms of a Turing machine, the authors use the notion of (Turing) degree of the arithmetic sets for the definition of the (Turing) jump operators. Some results on Turing degrees are presented and also the authors' proof answering a question posed by Jockusch and Shore.
scientific article; zbMATH DE number 1489520