The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem |
scientific article; zbMATH DE number 7823031
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem |
scientific article; zbMATH DE number 7823031 |
Statements
The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (English)
0 references
24 March 2024
0 references
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].
0 references
Paris-Harrington principle
0 references
Ramsey's theorem
0 references
reverse mathematics
0 references
proof theory
0 references
