DEGREES OF UNSOLVABILITY OF CONSTRUCTIBLE SETS OF INTEGERS

被引：31

作者：

BOOLOS, G

PUTNAM, H

机构：

来源：

关键词：

D O I：

10.2307/2271357

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：497 / &

共 18 条

[1]

ADDISON JW, 1957, P AMS, V8, P1002

[2]

BOOLOS GS, 1966, THESIS MIT CAMBRIDGE

[3]

BOYD RG, TO BE PUBLISHED

[4] A MINIMAL MODEL FOR SET THEORY [J].

COHEN, PJ .

[5]

Davis M., 1958, COMPUTABILITY UNSOLV

[6]

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

[7] Consistency-proof for the generalized continuum hypothesis [J].

Godel, K .

[8]

Kleene S.C., 1955, B AM MATH SOC, V61, P193, DOI DOI 10.1090/S0002-9904-1955-09896-3

[9]

Kleene S. C., 1955, T AM MATH SOC, V79, P312, DOI DOI 10.2307/1993033

KLEENE, SC .