ON THE STRENGTH OF TWO RECURRENCE THEOREMS
ON THE STRENGTH OF TWO RECURRENCE THEOREMS
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 RCA 0 ). This is the first example …