A CONSERVATION RESULT CONCERNING BOUNDED THEORIES AND THE COLLECTION AXIOM

被引：10

作者：

BUSS, SR ^{[1
]}

机构：

[1] MATH SCI RES INST,BERKELEY,CA 94720

来源：

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 1987年 / 100卷 / 04期

关键词：

D O I：

10.2307/2046710

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：709 / 715

页数：7

相关论文

共 6 条

[1]

BUSS S, 1985, THESIS PRINCETON U

[2] EXISTENCE AND FEASIBILITY IN ARITHMETIC [J].

PARIKH, R .

JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (03) :494-&

[3]

PARIS J, 1980, SPRINGER LECT NOTES, V890, P251

[4]

PARIS J, 1978, LOG C 77, P199

[5]

RESSAYRE JP, 1985, CONSERVATION RESULT

[6]

Takeuti G., 1975, PROOF THEORY