THE CONDITIONAL INDEPENDENCE OF THREE PRIME TUPLES CONJECTURE WITH RESPECT TO PEANO AXIOMS
Xin Ma · Journal of Beijing Normal University · 2008
In this paper it was shown by model-theoretic methods that three-prime tuples conjecture was logically independent with respect to certain equivalent formulations of first-order Peano axioms for the system of natural numbers.