Harvey Friedman Stephen G. Simpson Xiaokang Yu Periodic Points and Subsystems of Second-Order Arithmetic. 51-64 1993 62 Ann. Pure Appl. Logic 1 db/journals/apal/apal62.html#FriedmanSY93