Infinite games in the Cantor space and s
β
Takako Nemoto; MedYahya Ould MedSalem; Kazuyuki Tanaka
π
Article
π
2007
π
John Wiley and Sons
π
English
β 202 KB
## Abstract In this paper we study the determinacy strength of infinite games in the Cantor space and compare them with their counterparts in the Baire space. We show the following theorems: 1. RCA~0~ β’ $ \Delta^0\_1 $βDet\* β $ \Sigma^0\_1 $βDet\* β WKL~0~. 2. RCA~0~ β’ ($ \Sigma^0\_1 $)2βDet\* β