Get Math Help

GET TUTORING NEAR ME!

By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy

    Paris-Harrington Theorem

    Definition

    The Paris-Harrington theorem is a strengthening of the finite Ramsey's theorem by requiring that the homogeneous set be large enough so that card H>=min H. Clearly, the statement can be expressed in the first-order language of arithmetic. It is easily provable in the second-order arithmetic, but is unprovable in first-order Peano arithmetic.

    Find the right fit or it’s free.

    We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.