Infinite games in the Cantor space and subsystems of second order arithmetic

Infinite games in the Cantor space and subsystems of second order arithmetic
复制标题

DOI：
10.1002/malq.200610041
复制
发表时间：
2007-06
期刊：
Mathematical Logic Quarterly
影响因子：
0.3
通讯作者：
Takako Nemoto;MedYahya Ould MedSalem;Kazuyuki Tanaka
Takako Nemoto;MedYahya Ould MedSalem;Kazuyuki Tanaka
中科院分区：
数学4区
文献类型：
--
作者：
Takako Nemoto;MedYahya Ould MedSalem;Kazuyuki Tanaka

文献摘要

相似文献

本文研究了Cantor空间中无限对策的决定性强度，并与Baire空间中的相应对策进行了比较。我们证明以下定理：
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: