Uniform almost everywhere domination (2006)
| Venue: | Journal of Symbolic Logic |
| Citations: | 17 - 0 self |
BibTeX
@ARTICLE{Cholak06uniformalmost,
author = {Peter Cholak and Noam Greenberg and Joseph and S. Miller},
title = {Uniform almost everywhere domination},
journal = {Journal of Symbolic Logic},
year = {2006},
volume = {71},
pages = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ABSTRACT. We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This answers a question of Dobrinen and Simpson, who showed that such functions are related to the prooftheoretic strength of the regularity of Lebesgue measure for G δ sets. Our constructions essentially settle the reverse mathematical classification of this principle. 1.
