Phase transition results for three Ramsey-like theorems

DOI10.1215/00294527-3452807zbMath1436.03306arXiv1603.06695OpenAlexW3098592934MaRDI QIDQ286698

Florian Pelupessy

Publication date: 25 May 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.06695

zbMATH Keywords

independencephase transitionsRamsey theoryPeano arithmeticfinite adjacent RamseyKanamori-McAloonParis-Harringtonunprovability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem

Cites Work

• Unnamed Item
• On Gödel incompleteness and finite combinatorics
• Sharp thresholds for hypergraph regressive Ramsey numbers
• Rapidly growing Ramsey functions
• Handbook of proof theory
• Proof theory. An introduction
• Independence of Ramsey theorem variants using $\varepsilon _0$
• An Unprovable Ramsey-Type Theorem
• A classification of rapidly growing Ramsey functions
• Combinatorial Theorems on Classifications of Subsets of a Given Set

This page was built for publication: Phase transition results for three Ramsey-like theorems