Author:
DIAMONDSTONE DAVID,DOWNEY ROD,GREENBERG NOAM,TURETSKY DAN
Abstract
AbstractWe show that a Δ02 Turing degree computes solutions to all computable instances of the finite intersection principle if and only if it computes a 1-generic degree. We also investigate finite and infinite variants of the principle.
Publisher
Cambridge University Press (CUP)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Any FIP real computes a 1-generic;Transactions of the American Mathematical Society;2017-04-24