Ramsey Theory and Bounding in Arithmetic
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.23704
curl -X POST /api/v1/records/arxiv/2603.23704/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.23704/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'