TY - RPRT TI - A note on the independence of the injective pigeonhole principle from the uniform counting principle AU - Eitetsu Ken PY - 2026 UR - https://arxiv.org/abs/2606.03585 ID - 2606.03585 ER -