CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITY

被引：151

作者：

MARTIN, DA

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1966年 / 12卷 / 04期

关键词：

D O I：

10.1002/malq.19660120125

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：295 / &

共 13 条

[1] A THEOREM ON HYPERSIMPLE SETS [J].

DEKKER, JCE .

[2]

Friedberg R.M., 1958, J SYMBOLIC LOGIC, V23, P309, DOI [10.2307/2964290, DOI 10.2307/2964290]

[3]

Gordon Rice H., 1956, T AM MATH SOC, V83, P277

[4]

KLEENE SC, 1952, INTRODUCTION METAMAT

[5]

MARTIN DA, 1963, J SYMB LOGIC, V28, P275

[6]

Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]

[7] COMPUTING DEGREES OF UNSOLVABILITY [J].

ROGERS, H .

[8]

SACKS GE, 1963, 55 ANN MATH STUD

[9]

SACKS GE, 1964, MICH MATH J, V11, P193

[10]

SHOENFIELD JR, 1964, P AMER MATH SOC, V8, P964