arXiv:1601.04428 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords reverse mathematics, ramsey-type theorems, ramseys theorem, ramsey-type statements, computable reducibility Tags dissertation Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset