The prime number theorem is PRA-provable
Under an Elsevier user license
open archive
Keywords
Primitive recursive arithmetic
Recursive analysis
Analytical number theory
Cited by (0)
- 1
I would like to thank Professor P. Cegielski who provided many corrections and improvements.
Copyright © 2001 Elsevier Science B.V. All rights reserved.