Annals of Pure and Applied Logic 62 (1):51-64 (1993)

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 König's lemma
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(93)90187-i
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,878
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Partial Realizations of Hilbert's Program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.
Countable Algebra and Set Existence Axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.

Add more references

Citations of this work BETA

Splittings and Disjunctions in Reverse Mathematics.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (1):51-74.
Fundamental Notions of Analysis in Subsystems of Second-Order Arithmetic.Jeremy Avigad - 2006 - Annals of Pure and Applied Logic 139 (1):138-184.
WKL 0 and Induction Principles in Model Theory.David R. Belanger - 2015 - Annals of Pure and Applied Logic 166 (7-8):767-799.
On the Strength of Two Recurrence Theorems.Adam R. Day - 2016 - Journal of Symbolic Logic 81 (4):1357-1374.

Add more citations

Similar books and articles

Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic.Jeremy Avigad - 1996 - Annals of Pure and Applied Logic 82 (2):165-191.
Fundamental Notions of Analysis in Subsystems of Second-Order Arithmetic.Jeremy Avigad - 2006 - Annals of Pure and Applied Logic 139 (1):138-184.
Stephen G. Simpson Subsystems of Second-Order Arithmetic.Jeffrey Ketland - 2001 - British Journal for the Philosophy of Science 52 (1):191-195.
STEVEN G. SIMPSON. Subsystems of Second Order Arithmetic.Jp Burgess - 2000 - Philosophia Mathematica 8 (1):84-90.
Subsystems of Second-Order Arithmetic Between RCA0 and WKL0.Carl Mummert - 2008 - Archive for Mathematical Logic 47 (3):205-210.
Complex Analysis in Subsystems of Second Order Arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.

Analytics

Added to PP index
2014-01-16

Total views
24 ( #445,526 of 2,438,938 )

Recent downloads (6 months)
1 ( #434,842 of 2,438,938 )

How can I increase my downloads?

Downloads

My notes