Periodic points and subsystems of second-order arithmetic

DOI10.1016/0168-0072(93)90187-IMaRDI QIDQ2367412zbMATH OpenFDO

Authors Harvey M. Friedman, Stephen G. Simpson, Xiaokang Yu

Publication date 9 August 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

dynamical systemsperiodic pointsreverse mathematicssecond-order arithmeticSharkovsky's theoremiterates of continuous mappingsweak König's lemma

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Fixed point theory in weak second-order arithmetic
• scientific article; zbMATH DE number 3924748
• ON THE STRENGTH OF TWO RECURRENCE THEOREMS
• A Simple Proof of Sharkovsky's Theorem Revisited
• scientific article; zbMATH DE number 3980005

Cites work

• scientific article; zbMATH DE number 4063093 (Why is no real title available?)
• scientific article; zbMATH DE number 3197700 (Why is no real title available?)
• A graph-theoretic proof of Sharkovsky's theorem on the periodic points of continuous functions
• Addendum to ``Countable algebra and set existence axioms
• Partial realizations of Hilbert's program
• Period Three Implies Chaos
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?

Cited in

(9)

• Splittings and disjunctions in reverse mathematics
• Fixed point theory in weak second-order arithmetic
• \(\mathsf{WKL}_0\) and induction principles in model theory
• ON THE STRENGTH OF TWO RECURRENCE THEOREMS
• On multiplicatively dependent linear numeration systems, and periodic points
• Weak and strong versions of effective transfinite recursion
• Fundamental notions of analysis in subsystems of second-order arithmetic
• Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
• The pointwise ergodic theorem in subsystems of second-order arithmetic

This page was built for publication: Periodic points and subsystems of second-order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367412)