On a conjecture of Dobrinen and Simpson concerning almost everywhere domination
Logic
2014-08-12 v1
Abstract
The notions of almost everywhere (a.e.) domination and its uniform version were introduced and studied in reverse mathematics. This paper studies these notions from a recursion-theoretic point of view and explore their connections to notions such as randomness and genericity. It is shown that if is a.e. dominating then each --random is -random. In other words, for every a.e. dominating , where denotes low-for-random reducibility. Other results and corollaries are also given.
Keywords
Cite
@article{arxiv.1408.2282,
title = {On a conjecture of Dobrinen and Simpson concerning almost everywhere domination},
author = {Stephen Binns and Bjørn Kjos-Hanssen and Manuel Lerman and Reed Solomon},
journal= {arXiv preprint arXiv:1408.2282},
year = {2014}
}