A bounded jump for the bounded Turing degrees

Mathematics – Logic

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

22 pages. Minor changes for publication

Scientific paper

We define the bounded jump of A by A^b = {x | Exists i <= x [phi_i (x) converges and Phi_x^[A|phi_i(x)](x) converges} and let A^[nb] denote the n-th bounded jump. We demonstrate several properties of the bounded jump, including that it is strictly increasing and order preserving on the bounded Turing (bT) degrees (also known as the weak truth-table degrees). We show that the bounded jump is related to the Ershov hierarchy. Indeed, for n > 1 we have X <=_[bT] 0^[nb] iff X is omega^n-c.e. iff X <=_1 0^[nb], extending the classical result that X <=_[bT] 0' iff X is omega-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 X such that 0^b <=_[bT] X <=_[bT] 0^[2b], there is a Y <=_[bT] 0^b such that Y^b =_[bT] X.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

A bounded jump for the bounded Turing degrees does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A bounded jump for the bounded Turing degrees, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A bounded jump for the bounded Turing degrees will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-184314

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.