The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673)

Summary: The \textit{Paris-Harrington principle} (PH) is known as one of the earliest examples of ``mathematical'' statements independent from the standard axiomatization of natural numbers called \textit{Peano Arithmetic} (PA). In this article, we discuss various variations of PH and examine the relations between finite and infinite Ramsey's theorem and systems of arithmetic. For the entire collection see [Zbl 07816357].