TY  - RPRT
TI  - Harrington's principle over higher order arithmetic
AU  - Yong Cheng
AU  - Ralf Schindler
PY  - 2015
DO  - 10.1017/jsl.2014.31
UR  - https://arxiv.org/abs/1503.04000
ID  - 1503.04000
ER  -