Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms (0)

by A Atserias
Venue:Proceedings of the 26th International Symposium on the Mathematical Foundations of Computer Science (Marianske Lazne, August ’01), Lecture Notes in Computer Science 2136, Springer-Verlag (2001) 148–158