论文信息 - Periodic Points and Subsystems of Second-Order Arithmetic

Periodic Points and Subsystems of Second-Order Arithmetic

Abstract We study the formalization within sybsystems of second-order arithmetic of theorems concerning periodic points in dynamical systems on the real line. We show that Sharkovsky's theorem is provable in WKL0. We show that, with an additional assumption, Sharkovsky's theorem is provable in RCA0. We show that the existence for all n of n-fold iterates of continuous mappings of the closed unit interval into itself is equivalent to the disjunction of Σ02 induction and weak Konig's lemma.

[1] J. Yorke,et al. Period Three Implies Chaos , 1975 .

[2] S. G. Simpson,et al. Which set existence axioms are needed to prove the separable Hahn-Banach theorem? , 1986, Ann. Pure Appl. Log..

[3] Chung-wu Ho,et al. A graph-theoretic proof of Sharkovsky's theorem on the periodic points of continuous functions. , 1981 .

[4] Stephen G. Simpson,et al. Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? , 1984, Journal of Symbolic Logic.

[5] Stephen G. Simpson,et al. Countable algebra and set existence axioms , 1983, Ann. Pure Appl. Log..

[6] Stephen G. Simpson,et al. Partial realizations of Hilbert's program , 1988, Journal of Symbolic Logic.

[7] Stephen G. Simpson,et al. Addendum to "countable algebra and set existence axioms" , 1985, Ann. Pure Appl. Log..