English

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 ZZ is a.e. dominating then each 11-ZZ-random is 22-random. In other words, 0LRZ0'\leq_{\rm LR} Z for every a.e. dominating ZZ, where LR{\rm LR} 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}
}