English

Omitting cohesive sets

Logic 2013-12-13 v1

Abstract

We prove that if R\vec{R} is a computable sequence of subsets of ω\omega which admits no computable cohesive set, then no 3-generic computes any R\vec{R}-cohesive set; and there exists a Martin-L\"{o}f random which computes no R\vec{R}-cohesive set.

Cite

@article{arxiv.1309.5428,
  title  = {Omitting cohesive sets},
  author = {Wei Wang},
  journal= {arXiv preprint arXiv:1309.5428},
  year   = {2013}
}

Comments

6 pages

R2 v1 2026-06-22T01:31:23.446Z