Abstract
We define the bounded jump of by and let denote the th bounded jump. We demonstrate several properties of the bounded jump, including the fact that it is strictly increasing and order-preserving on the bounded Turing () degrees (also known as the weak truth-table degrees). We show that the bounded jump is related to the Ershov hierarchy. Indeed, for we have is -c.e. , extending the classical result that is -c.e. Finally, we prove that the analogue of Shoenfield inversion holds for the bounded jump on the bounded Turing degrees. That is, for every such that , there is a such that .
Citation
Bernard Anderson. Barbara Csima. "A Bounded Jump for the Bounded Turing Degrees." Notre Dame J. Formal Logic 55 (2) 245 - 264, 2014. https://doi.org/10.1215/00294527-2420660
Information