{"id":"arxiv/2601.07569","url":"https://arxiv.org/abs/2601.07569","tags":["math.LO"],"score":0,"title":"Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic","domain":"math.LO","source":"arxiv","authors":["Hiroyuki Ikari","Keita Yokoyama"],"reviews":0,"subject":"math.LO","summary":"We construct an $\\ll^2$-solution (also known as a weakly low solution) to ${\\mathrm{D}^2}$ within ${\\mathrm{B}Σ^0_{3}}$ and prove the $\\ll^2$-basis theorem for $\\mathrm{RT}^2$ over ${\\mathrm{B}Σ^0_{3}}$. The $\\ll^2$-basis theorem is a variant of the low basis theorem, which has recently received focus in the context of the first-order part of Ramsey type theorems. For the construction, we use Mathias forcing in an effectively coded $ω$-model of $\\mathsf{WKL_0}$ to ensure sufficient computability under the system with weaker induction. Using a similar method, we also show the $\\ll^2$-basis…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-12","reactions":{}}