Periodic points and subsystems of second-order arithmetic
From MaRDI portal
Publication:2367412
DOI10.1016/0168-0072(93)90187-IzbMATH Open0781.03048MaRDI QIDQ2367412FDOQ2367412
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)
Recommendations
dynamical systemsperiodic pointsreverse mathematicssecond-order arithmeticSharkovsky's theoremiterates of continuous mappingsweak König's lemma
Cites Work
- Period Three Implies Chaos
- Title not available (Why is that?)
- Title not available (Why is that?)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
- A graph-theoretic proof of Sharkovsky's theorem on the periodic points of continuous functions
- Partial realizations of Hilbert's program
- Addendum to ``Countable algebra and set existence axioms
- Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
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)
