On a conjecture of Dobrinen and Simpson concerning almost everywhere domination

Dobrinen and Simpson [4] introduced the notions of almost everywhere domination and uni-form almost everywhere domination to study recursion theoretic analogues of results in set theory concerning domination in generic extensions of transitive models of ZFC and to study regularity properties of the Lebesgue measure on 2ω in reverse mathematics. In this article