Any FIP real computes a 1-generic

Greg Igusa; Peter Cholak; Rod Downey

arxiv: 1502.03785 · v2 · pith:6ECPVMJPnew · submitted 2015-02-12 · 🧮 math.LO

Any FIP real computes a 1-generic

Peter Cholak , Rod Downey , Greg Igusa This is my paper

classification 🧮 math.LO

keywords computablecomputegenericrealcohencomputesconstructestablish

0 comments

read the original abstract

We construct a computable sequence of computable reals $\langle X_i\rangle$ 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 paper has not been read by Pith yet.

Any FIP real computes a 1-generic

discussion (0)