KLEENE'S AMAZING SECOND RECURSION THEOREM

被引：19

作者：

Moschovakis, Yiannis N. ^{[1
,2
]}

机构：

[1] Univ Calif Los Angeles, Dept Math, Los Angeles, CA 90095 USA

[2] Univ Athens, Dept Math, GR-10679 Athens, Greece

来源：

关键词：

CONSTRUCTIVE ORDINALS; BOREL FUNCTIONS; COMPACT-SETS; FORMS;

D O I：

10.2178/bsl/1286889124

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：189 / 239

页数：51

共 53 条

[1]

Addison J.W., 1959, FUNDAMENTA METHEMATI, V46, P123, DOI [DOI 10.4064/FM-46-2-123-135, DOI 10.4064/FM-46-2-123-135,131357]

[2]

ADDISON JW, 1954, THESIS U WISCONSIN

[3]

[Anonymous], 1959, COMPOS MATH

[4]

[Anonymous], 1952, INTRO METAMATHEMATIC

[5]

[Anonymous], FUND MATH

[6]

[Anonymous], 1944, Bull. Am. Math. Soc

[7]

[Anonymous], 1990, HIGHER RECURSION THE, DOI DOI 10.1007/BFB0086109

[8]

[Anonymous], 1955, Trans. Amer. Math. Soc., DOI DOI 10.2307/1993033

[9]

[Anonymous], 1951, STUDIA PHILOS

[10]

[Anonymous], 1950, P INT C MATH