Greg Igusa
YOU?
Author Swipe
View article: Any FIP real computes a 1-generic
Any FIP real computes a 1-generic Open
We construct a computable sequence of computable reals 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 th…
View article: Any FIP real computes a 1-generic
Any FIP real computes a 1-generic Open
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 exte…