Periodic Points and Subsystems of Second-Order Arithmetic

Harvey Friedman, Stephen G. Simpson, Xiaokang Yu. Periodic Points and Subsystems of Second-Order Arithmetic. Annals of Pure and Applied Logic, 62(1):51-64, 1993.

Abstract

Abstract is missing.