Unprovability of sharp versions of Friedman’s sine-principle (Q5291944)
From MaRDI portal
scientific article; zbMATH DE number 5165477
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unprovability of sharp versions of Friedman’s sine-principle |
scientific article; zbMATH DE number 5165477 |
Statements
Unprovability of sharp versions of Friedman’s sine-principle (English)
0 references
19 June 2007
0 references
unprovability of arithmetical statements
0 references
unprovable combinatorial statements
0 references
irrationality measure of \(\pi\)
0 references
dynamical system
0 references
Paris-Harrington principle
0 references
Kanamori-McAloon principle
0 references
0 references
