RECURSIVELY ENUMERABLE SETS AND DEGREES

被引:43
作者
SOARE, RI
机构
关键词
D O I
10.1090/S0002-9904-1978-14552-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:1149 / 1181
页数:33
相关论文
共 176 条
[1]   RECURSIVELY ENUMERABLE SETS WHICH ARE UNIFORM FOR FINITE EXTENSIONS [J].
ALTON, DA .
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) :271-&
[2]  
ALTON DA, 1970, THESIS CORNELL U
[3]  
BENNISON VL, UNPUBLISHED
[4]  
Birkhoff G, 1933, P CAMB PHILOS SOC, V29, P441
[5]  
Birkhoff G., 1967, LATTICE THEORY, V25
[6]   COMPLEXITY PROPERTIES OF RECURSIVELY ENUMERABLE SETS [J].
BLUM, M ;
MARQUES, I .
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (04) :579-593
[7]  
Boone W.W., 1955, INDAGATIONES MATH, V17, P571
[8]  
Boone W.W., 1955, INDAGATIONES MATH, V17, P252
[9]  
Boone W.W., 1957, INDAGATIONES MATH, V19, P22
[10]  
Boone W.W., 1957, INDAGATIONES MATH, V19, P227