Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 76, Issue 4 (2011), 1287-1296.
Limits on jump inversion for strong reducibilities
We show that Sacks' and Shoenfield's analogs of jump inversion fail for both tt- and wtt-reducibilities in a strong way. In particular we show that there is a Δ02 set B >tt ∅' such that there is no c.e. set A with A' ≡wtt B. We also show that there is a Σ02 set C >tt ∅' such that there is no Δ02 set D with D' ≡wtt C.
J. Symbolic Logic Volume 76, Issue 4 (2011), 1287-1296.
First available in Project Euclid: 11 October 2011
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Csima, Barbara F.; Downey, Rod; Ng, Keng Meng. Limits on jump inversion for strong reducibilities. J. Symbolic Logic 76 (2011), no. 4, 1287--1296. doi:10.2178/jsl/1318338849. https://projecteuclid.org/euclid.jsl/1318338849