Feedback hyperjump
Juan P. Aguilera, Robert S. Lubarsky · Journal of Logic and Computation · 2020
Abstract Feedback is oracle computability when the oracle consists exactly of the con- and divergence information about computability relative to that same oracle. Here we study two possible feedback hyperjumps and characterize each of them as the complete $\varSigma _1$ set relative to a level of Gödel’s constructible hierarchy $L$.