[bibtex key=”BerarducciFornasieroHamkins:Is-the-twin-prime-conjecture-independent-of-PA”]
Download the article at arXiv:2110.08640
Abstract. We show that there is an arithmetical formula
This work grows in part out of an answer I posted on MathOverflow in 2012.