Which DNR can be minimal
Logic
2020-06-08 v2
Abstract
Khan and Miller proved that for every computable non decreasing unbounded function (henceforth order function), if is sufficiently large, then there exists a that is of minimal degree. Where has to satisfy for all . Their core argument is that we can thin the tree by a factor of to make Turing functional split. We improve their result by reducing this factor to . Thus we show that for every order function with for all , there exists a of minimal degree. We answer a question of Brendle, Brooke-Taylor, Ng and Nies by showing that there exists a such that is weakly meager covering, does not compute any Schnorr random real and does not Schnorr cover REC.
Cite
@article{arxiv.1912.09053,
title = {Which DNR can be minimal},
author = {Lu Liu},
journal= {arXiv preprint arXiv:1912.09053},
year = {2020}
}
Comments
14 pages. Multiple improvements on writting