SYSTEMS OF PREDICATIVE ANALYSIS .2. REPRESENTATIONS OF ORDINALS

被引：59

作者：

FEFERMAN, S

机构：

来源：

关键词：

D O I：

10.2307/2269866

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：193 / &

共 12 条

[1]

BACHMANN H, 1955, TRANSFINITE ZAHLEN

[2]

CROSSLEY JN, 1963, J SYMBOLIC LOGIC, V28, P308

[3]

Feferman S., 1962, J SYMBOLIC LOGIC, V27, P383, DOI DOI 10.2307/2964544

[4]

Feferman S., 1964, J SYMBOLIC LOGIC, V29, P1

[5]

Gandy R. 0., 1960, B ACAD POLON SC SMAP, V8, P571

[6]

Kreisel G., 1965, LECTURES MODERN MATH, P95

[7]

Mitchell B., 1965, PURE APPL MATH, V17

[8]

Sch?tte K., 1960, BEWEISTHEORIE

[9]

Schutte K., 1965, FORMAL SYSTEMS RECUR, P279

[10]

Schutte K, 1954, MATH ANN, V127, P15