Submission date: 20 December 2022

Abstract:

We characterize models of Peano arithmetic (PA) with infinitely many infinite primes p such that p + 2 has no finite prime divisor.

Mathematics Subject Classification: 03H15

Keywords and phrases:

Full text arXiv 2212.10104: pdf, ps.