We present a plausible, purely combinatorial Ramsey-style sentence CS that infers, in Peano Arithmetic, the negative solution (abbr.: P < N P) to the fa-miliar open problem P? = N P. Validity of CS is briefly discussed; it will be elaborated and presented in more detail elsewhere. This work is both a simplified and extended version of [G04]. The simplification, due to A. Krebs, says that what was called the proper normal case in [G04] is in fact sufficient for P < N P (see Theorem 27 in the text)
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.