Calvert W.; Frolov A.; Harizanov V.; Knight J.; McCoy C.; Soskova A.; Vatev S.
(2018)
© The Author(s) 2018. We say that a structure A admits strong jump inversion provided that for every oracle X, if X' computes D(C)'for some C ≅ A, then X computes D(B) for some B ≅ A. Jockusch and Soare (1991, APAL, 52, ...