Harrington's principle over higher order arithmetic - Yong Cheng; Ralf Schindler (2015)