THE GALVIN-PRIKRY THEOREM AND SET EXISTENCE AXIOMS

被引：14

作者：

TANAKA, K

机构：

来源：

关键词：

D O I：

10.1016/0168-0072(89)90066-3

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：81 / 104

页数：24

共 31 条

[1]

ABRAMSON FG, 1976, J LOND MATH SOC, V14, P387

[2]

BARWISE J, 1975, ADMISSIBLE SETS STRU

[3]

Devlin Keith J, 1984, CONSTRUCTIBILITY

[4] NEW PROOF THAT ANALYTIC SETS ARE RAMSEY [J].

ELLENTUCK, E .

[5]

FEFERMAN S, 1977, HDB MATH LOGIC, P912

[6] BAR INDUCTION AND PI1/1-CA [J].

FRIEDMAN, H .

[7]

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

[8]

Friedman H., 1970, INTUITIONISM PROOF T, P435

[9]

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

[10]

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