Lorenzo Carlucci Konrad Zdanowski A Note on Ramsey Theorems and Turing Jumps. 89-95 2012 CiE https://doi.org/10.1007/978-3-642-30870-3_10 conf/cie/2012 db/conf/cie/cie2012.html#CarlucciZ12