{"id":"arxiv/2603.23704","url":"https://arxiv.org/abs/2603.23704","tags":["math.LO"],"score":0,"title":"Ramsey Theory and Bounding in Arithmetic","domain":"math.LO","source":"arxiv","authors":["Peter Cholak"],"reviews":0,"subject":"math.LO","summary":"We explore the relation between various versions of Ramsey theorem and bounding schemes in model ${N}$ of a fragment of arithmetic $F$. Our goal is to recast, in a different framework, and extend some results of Hirst \\cite{Hirst-1987}, see Theorem 1. We will extract Weihrauch reductions from Hirst's and similar proofs. Our results, informally stated in the our terminology, all inside ${N}$, follow: First the following are equivalent: $BΣ_2$, the finite union of finite c.e.\\ sets is finite, and Infinite Pigeonhole Principle, see Theorem 3. We also discuss the Weihrauch relations between…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-24","reactions":{}}