arXiv:2403.13143 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords reverse mathematics, sequential theorem, sequential version, kohlenbachs higher-order framework, independent choice principles Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset