arXiv:2011.01772 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords countable set, usual higher-order definition, kohlenbachs higher-order rm, program reverse mathematics, axioms necessary Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset