{"id":"arxiv/2606.03585","url":"https://arxiv.org/abs/2606.03585","tags":["math.LO"],"score":0,"title":"A note on the independence of the injective pigeonhole principle from the uniform counting principle","domain":"math.LO","source":"arxiv","authors":["Eitetsu Ken"],"reviews":0,"subject":"math.LO","summary":"In this technical note, we show that the relativized bounded arithmetic $T^{1}_{2}(R)$ equipped with $UCP(Δ^{b}_{1}(R))$ cannot prove $injPHP^{n+1}_{n}(R)$. The result partially supports [K, 2024] Conjecture 1.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}