The prime number theorem is PRA-provable
2001 ◽
Vol 257
(1-2)
◽
pp. 185-239
◽
Thomas Morrill
◽
Dave Platt
◽
Tim Trudgian
2003 ◽
Vol 15
(3)
◽
pp. 162-172
1977 ◽
Vol 29
(1)
◽
pp. 271-279
◽
Barry Mazur
◽
William Stein
Robert Greene
◽
Steven Krantz
Hugh L. Montgomery
◽
Robert C. Vaughan