Incompleteness for Higher-Order Arithmetic An Example Based on Harrington's Principle - Cheng, Yong; Cheng, Yong (Springer Singapore : Imprint: Springer, 2019)