Lowness notions, measure and domination

Bjørn Kjos-Hanssen, Joseph S. Miller, Reed Solomon

We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL${}_0$ (but not in RCA${}_0$) of…