arXiv:2212.00489 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords reverse mathematics, third-order theorems fall far outside, base theory, ordinary mathematics, minimal axioms Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset