{"id":"arxiv/2604.01808","url":"https://arxiv.org/abs/2604.01808","tags":["math.LO"],"score":0,"title":"The cohesive and stable Ramsey theorems and proof size over a weak base theory","domain":"math.LO","source":"arxiv","authors":["Leszek Aleksander Kołodziejczyk","Mengzhou Sun"],"reviews":0,"subject":"math.LO","summary":"We show that over the weak base theory $\\mathrm{RCA}_0^*$, cohesive Ramsey's theorem for pairs $\\mathrm{CRT}^2_2$ implies exponential closure of the definable cut $\\mathrm{I}^0_1$, which is the intersection of all $Σ^0_1$-definable cuts. Consequences include non-elementary proof speedup of $\\mathrm{RCA}_0^* + \\mathrm{CRT}^2_2$ over $\\mathrm{RCA}_0^*$ for $Π_1$ sentences and the unprovability of $\\mathrm{CRT}^2_2$ in $\\mathrm{RCA}_0^* + \\mathrm{CAC}$. On the other hand, we show that $\\mathrm{RCA}_0^* + \\mathrm{SRT}^2_2$, where $\\mathrm{SRT}^2_2$ is stable Ramsey's theorem for pairs, is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-02","reactions":{}}