Any FIP real computes a 1-generic
Logic
2016-05-23 v2
Abstract
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 the same result with 2IP in place of FIP.
Cite
@article{arxiv.1502.03785,
title = {Any FIP real computes a 1-generic},
author = {Peter Cholak and Rod Downey and Greg Igusa},
journal= {arXiv preprint arXiv:1502.03785},
year = {2016}
}
Comments
submitted, revised after referee report