Ordinal analysis and the infinite Ramsey theorem - Afshari, B; Rathjen, M (Springer, 2012)