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

DOI10.1090/S0002-9939-2011-11121-3zbMath1291.03113OpenAlexW2068936638MaRDI 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 transitionPeano arithmeticRamsey theoremfast growing hierarchiesrapidly growing Ramsey functions

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Ramsey theory (05D10) Models of arithmetic and set theory (03C62) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (3)

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

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

This page was built for publication: Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension