arXiv:2506.17943 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords finite combinatorics, finite domains, kayes general pigeonhole principle, definable maps, first order arithmetic Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset