Open Access
2016 Phase Transition Results for Three Ramsey-Like Theorems
Florian Pelupessy
Notre Dame J. Formal Logic 57(2): 195-207 (2016). DOI: 10.1215/00294527-3452807

Abstract

We classify a sharp phase transition threshold for Friedman’s finite adjacent Ramsey theorem. We extend the method for showing this result to two previous classifications involving Ramsey theorem variants: the Paris–Harrington theorem and the Kanamori–McAloon theorem. We also provide tools to remove ad hoc arguments from the proofs of phase transition results as much as currently possible.

Citation

Download Citation

Florian Pelupessy. "Phase Transition Results for Three Ramsey-Like Theorems." Notre Dame J. Formal Logic 57 (2) 195 - 207, 2016. https://doi.org/10.1215/00294527-3452807

Information

Received: 20 March 2013; Accepted: 29 October 2013; Published: 2016
First available in Project Euclid: 6 January 2016

zbMATH: 06585183
MathSciNet: MR3482742
Digital Object Identifier: 10.1215/00294527-3452807

Subjects:
Primary: 03F30
Secondary: 03D20 , 03H15

Keywords: finite adjacent Ramsey , independence , Kanamori–McAloon , Paris–Harrington , Peano Arithmetic , Phase transitions , Ramsey theory , unprovability

Rights: Copyright © 2016 University of Notre Dame

Vol.57 • No. 2 • 2016
Back to Top