A note on the independence of the injective pigeonhole principle from the uniform counting principle
Eitetsu Ken
所有作者
Eitetsu Ken
文献摘要
In this technical note, we show that the relativized bounded arithmetic T21(R) equipped with UCP(Δ1b(R)) cannot prove injPHPnn+1(R). The result partially supports [K, 2024] Conjecture 1.