ON THE ROLE OF RAMSEY QUANTIFIERS IN 1ST ORDER ARITHMETIC

被引：9

作者：

SCHMERL, JH ^{[1
]}

SIMPSON, SG ^{[1
]}

机构：

[1] PENN STATE UNIV,UNIVERSITY PK,PA 16802

来源：

关键词：

D O I：

10.2307/2273152

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：423 / 435

页数：13

共 28 条

[1]

ACZEL P, 1980, ANOTHER ELEMENTARY T

[2] RAMSEY QUANTIFIERS AND THE FINITE COVER PROPERTY [J].

BALDWIN, JT ;

KUEKER, DW .

[3]

BAUDISCH A, 1977, B ACAD POL SCI SMAP, V25, P733

[4]

CICHON EA, 1981, SLOW GROWING GRZEGOR

[5]

COWLES JR, 1979, FUND MATH, V103, P65

[6]

Enderton H. B., 2001, MATH INTRO LOGIC, V2nd ed

[7]

FEFERMAN S, 1970, INTUITIONISM PROOF T, P303

[8]

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

[9]

FRIEDMAN H, 1980, LOGIC S, V1

[10]

GIRARD JY, UNPUB ANN MATH LOGIC