Richard A. DeMillo, Richard J. Lipton. The Consistency of P = NP and Related Problems with Fragments of Number Theory. In Conference Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, 28-30 April, Los Angeles, California, USA. pages 45-57, ACM, 1980.
Abstract is missing.