Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (Q3576063)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem |
scientific article |
Statements
Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (English)
0 references
28 July 2010
0 references
Kanamori-McAloon principle
0 references
Paris-Harrington theorem
0 references
Peano arithmetic
0 references
independence
0 references
0 references
0 references