A DNC function that computes no effectively bi-immune set
Logic
2014-03-04 v4 Logic in Computer Science
Abstract
In Diagonally Non-Computable Functions and Bi-Immunity, Carl Jockusch and Andrew Lewis proved that every DNC function computes a bi-immune set. They asked whether every DNC function computes an effectively bi-immune set. We construct a DNC function that computes no effectively bi-immune set, thereby answering their question in the negative.
Cite
@article{arxiv.1308.1324,
title = {A DNC function that computes no effectively bi-immune set},
author = {Achilles A. Beros},
journal= {arXiv preprint arXiv:1308.1324},
year = {2014}
}
Comments
7 pages, 1 figures