WEAK AXIOMS OF DETERMINACY AND SUBSYSTEMS OF ANALYSIS II (SIGMA-2(0) GAMES)

被引：26

作者：

TANAKA, K

机构：

[1] Department of Information Science, Tokyo Institute of Technology, Meguro-ku, Tokyo, 152, Ookayama

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1991年 / 52卷 / 1-2期

关键词：

D O I：

10.1016/0168-0072(91)90045-N

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In [10], we have shown that the statement that all SIGMA-1(1) partitions are Ramsey is deducible over ATR0 from the axiom of SIGMA-1(1) monotone inductive definition, but the reversal needs needs PI-1(1)-CA0 rather than ATR0. By contrast, we show in this paper that the statement that all SIGMA-2(0) games are determinate is also deducible over ATR0 from the axiom of SIGMA-1(1) monotone inductive definition, but the reversal is provable even in ACA0. These results illuminate the substantial differences among lightface theorems which can not be observed in boldface.

引用

页码：181 / 193

页数：13

共 11 条

[1] FRIEDMAN H, 1976, J SYMBOLIC LOGIC, V41, P557
[2] FRIEDMAN H, 1975, 1974 P INT C MATH VA, V1, P235
[3] Friedman Harvey, 1982, STUDIES LOGIC FDN MA, V109, P197
[4] HINMAN PG, 1978, RECURSION THEORETICA
[5] Moschovakis Y., 1980, DESCRIPTIVE SET THEO
[6] FIXED-POINT THEORY IN WEAK 2ND-ORDER ARITHMETIC
SHIOJI, N
TANAKA, K
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1990, 47 (02) : 167 - 188
[7] SIMPSON SG, 1985, P SYMP PURE MATH, V42, P461
[8] SIMPSON SG, 1986, PROOF THEORY
[9] STEEL JR, 1977, THESIS BERKELEY
[10] THE GALVIN-PRIKRY THEOREM AND SET EXISTENCE AXIOMS
TANAKA, K
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1989, 42 (01) : 81 - 104

← 1 2 →