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 http://dx.doi.org/10.1016/0168-0072(93)90187-I