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$|⁠.

中文翻译：

---

反馈超跳

当预言正好由与该预言有关的可计算性的充斥信息组成时，反馈就是预言性。在这里，我们研究了两种可能的反馈超跳，并将它们中的每一个表征为完整的| $ \ varSigma _1 $ |。相对于Gödel可构造层次结构| $ L $ |⁠设置。