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...

Full description

Saved in:
Bibliographic Details
Published in:Journal of the London Mathematical Society 2012-06, Vol.85 (3), p.869-888
Main Authors: Kjos-Hanssen, Bjørn, Miller, Joseph S., Solomon, Reed
Format: Article
Language:English
Subjects:
Equivalence
Mathematical analysis
Proving
Randomness
Regularity
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 for Martin‐Löf randomness (a result independently obtained by Nies). Using the same technique, we show that⩽LR implies⩽LK, generalizing the fact that low for Martin‐Löf randomness implies low for K.
ISSN:0024-6107
1469-7750
DOI:10.1112/jlms/jdr072