jdh.hamkins.org
Is the twin prime conjecture independent of Peano Arithmetic?
[bibtex key=”BerarducciFornasieroHamkins:Is-the-twin-prime-conjecture-independent-of-PA”]