No abstract

We construct a computable sequence of computable reals X i 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. This is the first example of a classical theorem of mathematics has been found to be equivalent, both proof theoretically and in terms of its effective content, to computing a 1-generic.