The Consistency of "P = NP" and Related Problems with Fragments of Number Theory.

Richard A. DeMillo, Richard J. Lipton

Browse the full STOC paper archive.