WEAK AXIOMS OF DETERMINACY AND SUBSYSTEMS OF ANALYSIS .1. DELTA-20 GAMES

被引：24

作者：

TANAKA, K ^{[1
]}

机构：

[1] TOKYO INST TECHNOL,DEPT INFORMAT SCI,MEGURO KU,TOKYO 152,JAPAN

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1990年 / 36卷 / 06期

关键词：

D O I：

10.1002/malq.19900360602

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：481 / 491

页数：11

共 18 条

[1]

ADDISON J, 1965, S THEOR MODELS, P1

[2]

ADDISON JW, 1962, P S PURE MATH, V5, P123

[3] CLASSICAL HIERARCHIES FROM A MODERN STANDPOINT .1. C-SETS [J].

BURGESS, JP .

[4]

Ershov Y. L., 1968, ALGEBRA LOGIKA+, V7, P15

[5]

FRIEDMAN H, 1976, J SYMBOLIC LOGIC, V41, P557

[6]

FRIEDMAN H, 1975, 1974 P INT C MATH VA, V1, P235

[7]

Friedman Harvey, 1982, STUDIES LOGIC FDN MA, V109, P197

[8]

Kuratowski C., 1966, TOPOLOGY, V1

[9]

Moschovakis Y., 1980, DESCRIPTIVE SET THEO

[10] ON THE ROLE OF RAMSEY QUANTIFIERS IN 1ST ORDER ARITHMETIC [J].

SCHMERL, JH ;

SIMPSON, SG .