Any FIP real computes a 1-generic
Cholak, Peter · Downey, Rod · Igusa, Greg
Original · EN
We construct a computable sequence of computable reals Xᵢ such that any real that can compute a subsequence that is maximal with respect to the finite intersection property can also compute a Cohen 1-generic. This is extended to establish the same result with 2IP in place of FIP.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.