Omitting cohesive sets
Wei Wang · arXiv (Cornell University) · 2013
We prove that if $\vec{R}$ is a computable sequence of subsets of $ω$ which admits no computable cohesive set, then no 3-generic computes any $\vec{R}$-cohesive set; and there exists a Martin-Löf random which computes no $\vec{R}$-cohesive set.