Article contents
The finite intersection principle and genericity
Published online by Cambridge University Press: 26 November 2015
Abstract
We 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.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 160 , Issue 2 , March 2016 , pp. 279 - 297
- Copyright
- Copyright © Cambridge Philosophical Society 2015
References
REFERENCES
- 1
- Cited by