Omitting cohesive sets
Logic
2013-12-13 v1
Abstract
We prove that if is a computable sequence of subsets of which admits no computable cohesive set, then no 3-generic computes any -cohesive set; and there exists a Martin-L\"{o}f random which computes no -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