Lowness notions, measure and domination

We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL0 (but not in RCA0) of the equivalence of various Lebesgue measure regularity statements introduced by Dobrinen and Simpson. This work also allows us to prove that low for weak 2-randomness is the same as low… CONTINUE READING