Ordinal analysis and the infinite Ramsey theorem (CiE, 2012)

(untitled) - Afshari, B; Rathjen, M