RECURSIVELY ENUMERABLE DEGREES ARE DENSE

被引:126
作者
SACKS, GE
机构
关键词
D O I
10.2307/1970393
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:300 / &
相关论文
共 6 条
[2]   THE UPPER SEMI-LATTICE OF DEGREES OF RECURSIVE UNSOLVABILITY [J].
KLEENE, SC ;
POST, EL .
ANNALS OF MATHEMATICS, 1954, 59 (03) :379-407
[3]  
MUCHNIK AA, 1956, DOKL AKAD NAUK SSSR+, V108, P194
[4]  
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]
[5]  
SACKS GE, IN PRESS
[6]  
SACKS GE, 1963, ANNALS MATHEMATICS