Periodic points and subsystems of second-order arithmetic

DOI10.1016/0168-0072(93)90187-IzbMath0781.03048MaRDI QIDQ2367412

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

Publication date: 9 August 1993

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

zbMATH Keywords

dynamical systemsperiodic pointsreverse mathematicsweak König's lemmasecond-order arithmeticSharkovsky's theoremiterates of continuous mappings

Mathematics Subject Classification ID

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

Related Items (5)

Fundamental notions of analysis in subsystems of second-order arithmetic ⋮ Splittings and disjunctions in reverse mathematics ⋮ Weak and strong versions of effective transfinite recursion ⋮ Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem ⋮ \(\mathsf{WKL}_0\) and induction principles in model theory

Cites Work

• Addendum to ``Countable algebra and set existence axioms
• A graph-theoretic proof of Sharkovsky's theorem on the periodic points of continuous functions
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Partial realizations of Hilbert's program
• Period Three Implies Chaos
• Unnamed Item
• Unnamed Item

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