Asymptotic density and the coarse computability bound
Logic
2015-05-11 v1
Abstract
For we say that a set is \emph{coarsely computable at density} if there is a computable set such that has lower density at least . Let . We study the interactions of these concepts with Turing reducibility. For example, we show that if there are sets such that where is coarsely computable at density while is not coarsely computable at density . We show that a real is equal to for some c.e.\ set if and only if is left-. A surprising result is that if is a -generic set, and with , then is coarsely computable at density .
Cite
@article{arxiv.1505.01901,
title = {Asymptotic density and the coarse computability bound},
author = {Denis R. Hirschfeldt and Carl G. Jockusch, and Timothy H. McNicholl and Paul E. Schupp},
journal= {arXiv preprint arXiv:1505.01901},
year = {2015}
}