罗伯特·欧文·索尔
人员信息
附属: 美国伊利诺伊州芝加哥大学
优化列表
2010 – 2019
2017 [公元38年] 巴里·库珀 , 利奥·哈林顿 , 阿利斯泰尔·拉克伦 , 斯特芬·伦普 , 罗伯特·索尔 :
“d.r.e.度不密集”的勘误表【Ann.Pure Appl.Logic 55(1991)125-151】。 Ann.纯粹应用。 日志。 168 ( 12 ) : 2164-2165 ( 2017 ) 2016 【b2】 罗伯特·索尔 :
图灵可计算性-理论与应用。 可计算性理论与应用 , 施普林格 2016 ,国际标准图书编号 978-3-642-31932-7 ,第3-249页 2014 [第3页] 罗伯特·欧文·索尔 :
图灵和可计算性的发现。 图灵的遗产 2014 : 467-492 2010 [公元37年] 戴维·戴蒙德斯通 , 达米尔·德扎法罗夫 , 罗伯特·索尔 :
Π 0 1 类、Peano算术、随机性和可计算支配。 圣母院J.正式日志。 51 ( 1 ) : 127-159 ( 2010 )
2000 – 2009
2009 [公元36年] 罗伯特·索尔 :
图灵预言机、在线计算和可计算性理论中的三个位移。 Ann.纯粹应用。 日志。 160 ( 三 ) : 368-399 ( 2009 ) 2007 [j35] 芭芭拉·卡西玛 , 瓦伦蒂娜·哈里扎诺夫 , 丹尼斯·赫施费尔特 , 罗伯特·索尔 :
边界齐次模型。 J.塞姆。 日志。 72 ( 1 ) : 305-323 ( 2007 ) [公元34年] 凯伦·兰格 , 罗伯特·索尔 :
齐次模型的可计算性。 圣母院J.正式日志。 48 ( 1 ) : 143-170 ( 2007 ) 【c3】 罗伯特·索尔 :
可计算性和不相容性。 CiE公司 2007 : 705-715 2006 [j33] 芭芭拉·卡西玛 , 罗伯特·索尔 :
微分几何中使用的可计算性结果。 J.塞姆。 日志。 71 ( 4 ) : 1394-1410 ( 2006 ) 2004 [公元32年] 罗伯特·索尔 :
可计算性理论和微分几何。 牛市。 符号。 日志。 10 ( 4 ) : 457-486 ( 2004 ) [公元31年] 芭芭拉·卡西玛 , 丹尼斯·赫施费尔特 , 朱莉娅·奈特 , 罗伯特·索尔 :
边界素数模型。 J.塞姆。 日志。 69 ( 4 ) : 1117-1142 ( 2004 )
1990 – 1999
1999 [第2页] 罗伯特·索尔 :
可计算性的历史和概念。 可计算性理论手册 1999 : 3-36 [第1页] 罗伯特·索尔 :
可计算枚举集概述。 可计算性理论手册 1999 : 199-248 1998 【j30】 利奥·哈林顿 , 罗伯特·索尔 :
可计算可枚举集的可定义属性。 Ann.纯粹应用。 日志。 94 ( 1-3 ) : 97-125 ( 1998 ) [公元29年] 利奥·哈林顿 , 罗伯特·索尔 :
可编码集和可计算可枚举集的轨道。 J.塞姆。 日志。 63 ( 1 ) : 1-28 ( 1998 ) [公元28年] 阿利斯泰尔·拉克伦 , 罗伯特·索尔 :
算术集的算术界和次一致界模型。 J.塞姆。 日志。 63 ( 1 ) : 59-72 ( 1998 ) 1996 [公元27年] 利奥·哈林顿 , 罗伯特·索尔 :
可计算可枚举集的可定义性、自同构和动态属性。 牛市。 符号。 日志。 2 ( 2 ) : 199-213 ( 1996 ) [公元26年] 罗伯特·索尔 :
可计算性和递归。 牛市。 符号。 日志。 2 ( 三 ) : 284-321 ( 1996 ) 1994 [公元25年] 阿利斯泰尔·拉克伦 , 罗伯特·索尔 :
算术模型和算术集的上限。 J.塞姆。 日志。 59 ( 三 ) : 977-983 ( 1994 ) [公元24年] 小卡尔·G·约克什。 , 罗伯特·索尔 :
布尔代数、Stone空间和迭代图灵跳。 J.塞姆。 日志。 59 ( 4 ) : 1121-1138 ( 1994 ) [公元23年] 克劳斯·安布罗斯·斯皮斯 , 史蒂文·霍默 , 罗伯特·索尔 :
最小对和完全问题。 西奥。 计算。 科学。 132 ( 2 ) : 229-241 ( 1994 ) 1993 [公元22年] 克劳斯·安布罗斯·斯皮斯 , 阿利斯泰尔·拉克伦 , 罗伯特·索尔 :
拔火罐的连续性为0'。 Ann.纯粹应用。 日志。 64 ( 三 ) : 195-209 ( 1993 ) 1991 [公元21年] 小卡尔·G·约克什。 , 罗伯特·索尔 :
与递归线性序不同构的序度。 Ann.纯粹应用。 日志。 52 ( 1-2 ) : 39-64 ( 1991 ) [j20] 巴里·库珀 , 利奥·哈林顿 , 阿利斯泰尔·拉克伦 , 斯特芬·伦普 , 罗伯特·索尔 :
dr.e.度不致密。 Ann.纯粹应用。 日志。 55 ( 2 ) : 125-151 ( 1991 ) 1990 [c2] 克劳斯·安布罗斯·斯皮斯 , 史蒂文·霍默 , 罗伯特·索尔 :
最小对和完全问题。 STACS公司 1990 : 24-36
1980 – 1989
1989 [公元19年] 克劳斯·安布罗斯·斯皮斯 , 罗伯特·索尔 :
递归可枚举度有无限多个单类型。 Ann.纯粹应用。 日志。 44 ( 1-2 ) : 1-23 ( 1989 ) [公元18年] 小卡尔·G·约克什。 , 曼努埃尔·勒曼 , 罗伯特·索尔 , 罗伯特·索洛维 :
递归可枚举集模迭代跳跃与Arslanov完全性准则的推广。 J.塞姆。 日志。 54 ( 4 ) : 1288-1323 ( 1989 ) 1987 【b1】 罗伯特·索尔 :
递归可枚举集和度-可计算函数和可计算生成集的研究。 数学逻辑中的观点 , 施普林格 1987 ,国际标准图书编号 978-3-540-15299-6 第I-XVIII页,1-437页 1986 [公元17年] 道格拉斯·A·岑泽 , 彼得·克洛特 , 里克·L·史密斯 , 罗伯特·索尔 , 斯坦利·韦纳 :
可数π的成员 1 0 类。 Ann.纯粹应用。 日志。 31 : 145-163 ( 1986 ) 1984 [公元16年] 朱莉娅·奈特 , 阿利斯泰尔·拉克伦 , 罗伯特·索尔 :
真算术模型度的两个定理。 J.塞姆。 日志。 49 ( 2 ) : 425-436 ( 1984 ) 1983 [公元15年] 乔恩·巴韦斯 , 罗伯特·索尔 , 特伦斯·米勒 :
符号逻辑协会会议:密尔沃基,1981年。 J.塞姆。 日志。 48 ( 2 ) : 514-518 ( 1983 ) 1982 [公元14年] 罗伯特·索尔 :
递归可枚举集的格的自同构。 第二部分:低套。 安。数学。 日志。 22 ( 1 ) : 69-107 ( 1982 ) [j13] 罗伯特·索尔 :
递归可枚举集的计算复杂性。 信息控制。 52 ( 1 ) : 8-18 ( 1982 )
1970 – 1979
1978 [公元12年] 小卡尔·G·约克什。 , 罗伯特·索尔 , 威廉·泰特 , 盖西·塔库蒂 :
符号逻辑协会会议:芝加哥,1977年。 J.塞姆。 日志。 43 ( 三 ) : 614-619 ( 1978 ) [公元11年] 维克托·本尼森 , 罗伯特·索尔 :
一些低阶性质和计算复杂性序列。 西奥。 计算。 科学。 6 : 233-254 ( 1978 ) 1977 [公元10年] 罗伯特·索尔 :
计算复杂性、快速和水平集。 J.塞姆。 日志。 42 ( 4 ) : 545-563 ( 1977 ) 【c1】 维克托·本尼森 , 罗伯特·索尔 :
复杂性理论性质的递归理论表征。 光纤通信系统 1977 : 100-106 1976 [公元9年] 罗伯特·索尔 :
无限伤害优先法。 J.塞姆。 日志。 41 ( 2 ) : 513-530 ( 1976 ) [j8] 约翰·鲍德温 , 唐纳德·马丁 , 罗伯特·索尔 , 威廉·泰特 :
符号逻辑协会会议。 J.塞姆。 日志。 41 ( 2 ) : 551-560 ( 1976 ) 1973 [j7] 小卡尔·G·约克什。 , 罗伯特·索尔 :
Kleene’s O的可编码性。 J.塞姆。 日志。 38 ( 三 ) : 437-440 ( 1973 ) [j6] 小卡尔·G·约克什。 , 罗伯特·索尔 :
波斯特的问题和他的超简单集。 J.塞姆。 日志。 38 ( 三 ) : 446-452 ( 1973 ) 1971 [j5] 小卡尔·G·约克什。 , 罗伯特·索尔 :
π的最小对 0 1 课程。 J.塞姆。 日志。 36 ( 1 ) : 66-78 ( 1971 ) 1970 [j4] 罗宾·甘地 , 罗伯特·索尔 :
建构顺序类型理论中的一个问题。 J.塞姆。 日志。 35 ( 1 ) : 119-121 ( 1970 )
1960 – 1969
1969 [j3] 罗伯特·索尔 :
没有高次子集的集合。 J.塞姆。 日志。 34 ( 1 ) : 53-56 ( 1969 ) [注2] 罗伯特·索尔 :
关于子集度的注记。 J.塞姆。 日志。 34 ( 2 ) : 256 ( 1969 ) [j1] 罗伯特·索尔 :
切割的构造订单类型。 J.塞姆。 日志。 34 ( 2 ) : 285-289 ( 1969 )