COMPLETENESS RECURSION THEOREM AND EFFECTIVELY SIMPLE SETS

被引：26

作者：

MARTIN, DA

机构：

来源：

关键词：

D O I：

10.2307/2036264

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：838 / &

共 8 条

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

DEKKER, JCE .

[2]

MARTIN DA, 1963, J SYMBOLIC LOGIC, V28, P273

[3]

MCLAUGHLIN TG, 1965, CANAD MATH B, V8, P33

[4]

Myhill J., 1955, Z MATH LOGIK, V1, P97, DOI DOI 10.1002/MALQ.19550010205

[5]

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]

[6]

SACKS GE, 1964, P AM MATH SOC, V15, P51

[7]

SCHOENFIELD JR, 1957, P AMER MATH SOC, V8, P964

[8]

Smullyan R.M., 1964, P AM MATH SOC, V15, P893