arXiv:math/0506019 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords lebesgue measure, domination, minor corrections, priority construction, proof-theoretic strength Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset