Lorenzo Carlucci Konrad Zdanowski The strength of Ramsey's Theorem for Coloring Relatively Large Sets. 89-102 2014 79 J. Symb. Log. 1 https://doi.org/10.1017/jsl.2013.27 db/journals/jsyml/jsyml79.html#CarlucciZ14