arXiv:1904.04630 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords reverse mathematics, derivative, preserves well-foundedness, normal dilator, faster normal function Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset