arXiv:2407.01236 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords pigeonhole hierarchy, reverse mathematics, infinite pigeonhole principle, seemingly trivial combinatorial principle constitutes, elaborate iterated jump control construction Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset