ON THE STRENGTH OF TWO RECURRENCE THEOREMS
Keyword(s):
AbstractThis 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 RCA0for${\rm{\Pi }}_1^1$-sentences.
Keyword(s):
2017 ◽
Vol 37
(2)
◽
pp. 85-99
Keyword(s):
1988 ◽
Vol 8
(2)
◽
pp. 155-172
◽
Keyword(s):
2015 ◽
Vol 31
(4)
◽
pp. 637-646
◽
1986 ◽
Vol 9
(2)
◽
pp. 319-322
◽
Keyword(s):
1982 ◽
Vol 2
(2)
◽
pp. 139-158
◽
Keyword(s):