当前位置: X-MOL 学术J. Log. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Feedback hyperjump
Journal of Logic and Computation ( IF 0.7 ) Pub Date : 2021-01-22 , DOI: 10.1093/logcom/exaa085
Juan P Aguilera 1 , Robert S Lubarsky 2
Affiliation  

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 $ |⁠设置
更新日期:2021-02-03
down
wechat
bug