The prime number theorem and fragments ofP A
- Cite this article as:
- Cornaros, C. & Dimitracopoulos, C. Arch Math Logic (1994) 33: 265. doi:10.1007/BF01270626
We show that versions of the prime number theorem as well as equivalent statements hold in an arbitrary model ofIΔ0+exp.
© Springer-Verlag 1994