Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms
scientific article; zbMATH DE number 1965264