Unprovability of sharp versions of Friedman’s sine-principle

DOI10.1090/S0002-9939-07-08933-2zbMath1116.03053MaRDI QIDQ5291944

Andrey Bovykin

Publication date: 19 June 2007

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

dynamical systemParis-Harrington principleunprovable combinatorial statementsKanamori-McAloon principleirrationality measure of \(\pi\)unprovability of arithmetical statements

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Ramsey theory (05D10)

Cites Work

• On Gödel incompleteness and finite combinatorics
• Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers
• Rapidly growing Ramsey functions
• The group structure for ζ(3)
• Unnamed Item
• Unnamed Item

This page was built for publication: Unprovability of sharp versions of Friedman’s sine-principle