A note on the independence of the injective pigeonhole principle from the uniform counting principle
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.03585
curl -X POST /api/v1/records/arxiv/2606.03585/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.03585/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'