Benedikt Löwe on Twitter: "#gammdmv2016 Section Logic: Anton Freund talks about Paris-Harrington #dvmlg @dmv_mathematik @tuBraunschweig https://t.co/Bn3oK6aSE7"
SHARP PHASE TRANSITION THRESHOLDS FOR THE PARIS HARRINGTON RAMSEY NUMBERS FOR A FIXED DIMENSION 1. Introduction This article is
PDF) Analytic Determinacy and 0♯. A Forcing-free Proof of Harrington's Theorem | Ramez Labib Sami - Academia.edu
PDF) Incompletitud en matemáticas y el Principio de Paris-Harrington
PDF) A CONTEXT FOR PARIS-HARRINGTON COMBINATORIAL PRINCIPLE
Arithmetical transfinite induction and hierarchies of functions
Upper Bounds for Positional Paris-Harrington Games
An Unprovable Ramsey-Type Theorem
julesh on Twitter: "I wonder if there is a known non-artificial theorem with this property (by analogy to the Paris-Harrington theorem, which is a non-artificial theorem independent of PA) https://t.co/8v5B4nClds… https://t.co/QENDe36oSv"
Some Bounds for the Ramsey-Paris-Harrington Numbers We first introduce some appropriate notation. Lower case variables will alwa