Article contents
ON THE STRENGTH OF TWO RECURRENCE THEOREMS
Published online by Cambridge University Press: 29 September 2016
Abstract
This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between WKL and ACA (working over RCA0). This is the first example of a theorem with this property. It also shows the existence of an almost periodic point is conservative over RCA0 for ${\rm{\Pi }}_1^1$-sentences.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2016
References
REFERENCES
- 2
- Cited by