Department

Mathematics

Document Type

Article

Publication Date

2017

Abstract

Anderson and Csima (Notre Dame J Form Log 55(2):245–264, 2014) defined a jump operator, the bounded jump, with respect to bounded Turing (or weak truth table) reducibility. They showed that the bounded jump is closely related to the Ershov hierarchy and that it satisfies an analogue of Shoenfield jump inversion. We show that there are high bounded low sets and low bounded high sets. Thus, the information coded in the bounded jump is quite different from that of the standard jump. We also consider whether the analogue of the Jump Theorem holds for the bounded jump: do we have A ≤bT B if and only if Ab 1 Bb ? We show the forward direction holds but not the reverse.

Comments

Final published version can be found here:

https://link.springer.com/article/10.1007/s00153-017-0537-8

Version

Post-print

Share

COinS