arXiv:1805.11342 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords reverse mathematics, disjunction, splittings, kohlenbachs higher-order rm, fairly natural Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset