Uniform almost everywhere domination
Cholak, Peter ; Greenberg, Noam ; Miller, Joseph S.
J. Symbolic Logic, Tome 71 (2006) no. 1, p. 1057-1072 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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 proof-theoretic strength of the regularity of Lebesgue measure for Gδ sets. Our constructions essentially settle the reverse mathematical classification of this principle.
Publié le : 2006-09-14
Classification:  
@article{1154698592,
     author = {Cholak, Peter and Greenberg, Noam and Miller, Joseph S.},
     title = {Uniform almost everywhere domination},
     journal = {J. Symbolic Logic},
     volume = {71},
     number = {1},
     year = {2006},
     pages = { 1057-1072},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1154698592}
}

Cholak, Peter; Greenberg, Noam; Miller, Joseph S. Uniform almost everywhere domination. J. Symbolic Logic, Tome 71 (2006) no. 1, pp.  1057-1072. http://gdmltest.u-ga.fr/item/1154698592/