Graph explorer

Omitting cohesive sets

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.