PDF) Analytic Determinacy and 0♯. A Forcing-free Proof of Harrington's Theorem | Ramez Labib Sami - Academia.edu
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"
SHARP PHASE TRANSITION THRESHOLDS FOR THE PARIS HARRINGTON RAMSEY NUMBERS FOR A FIXED DIMENSION 1. Introduction This article is