arXiv:1312.1531 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords higher order arithmetic, measure theory, lebesgue measure, corresponding program extraction result, higher order extension Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset