Results 1 - 2 of 2
by B Csima, R Downey, K M Ng
...alogue of Friedberg jump inversion holds: for every X ≥tt ∅′, there exists A with A′ ≡tt X ≡tt A⊕∅ ′. Both Mohrherr’s and Anderson’s proofs work with bT in place of tt. However, Csima, Downey, and Ng =-=-=- have proved that the analogue of Shoenfield jump inversion fails to hold for the tt and bounded Turing degrees. Indeed, they showed that there is a Σ2 set C >tt ∅′ such that for every D ≤T ∅′ we have...
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2016 The Pennsylvania State University