A.R.: Provability of the pigeonhole principle and the existence of infinitely many primes (1988)

by J B Paris, A J Wilkie, Woods
Venue:Journal of Symbolic Logic