Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension

DOI10.1090/S0002-9939-2011-11121-3zbMath1291.03113MaRDI QIDQ2845566

Wim Vanhoof, Andreas Weiermann

Publication date: 2 September 2013

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

Full work available at URL: https://doi.org/10.1090/s0002-9939-2011-11121-3

zbMATH Keywords

phase transition; Peano arithmetic; Ramsey theorem; fast growing hierarchies; rapidly growing Ramsey functions

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

05D10: Ramsey theory

03C62: Models of arithmetic and set theory

03D20: Recursive functions and relations, subrecursive hierarchies

Related Items

Predicatively unprovable termination of the Ackermannian Goodstein process, Dickson's lemma and weak Ramsey theory, Combinatorial unprovability proofs and their model-theoretic counterparts

Cites Work

• Unnamed Item
• Unnamed Item
• Sharp thresholds for hypergraph regressive Ramsey numbers
• Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers
• Combinatorial set theory: Partition relations for cardinals
• Rapidly growing Ramsey functions
• Classifying the Provably Total Functions of PA
• A classification of rapidly growing Ramsey functions
• A Note on Ramsey's Theorem