罗伯特·卢巴斯基
人员信息
附属: 美国佛罗里达州博卡拉顿佛罗里达大西洋大学
优化列表
2020年–今天
2022 [第13条] 罗伯特·卢巴斯基 :
关于某些拓扑空间的必要性。 CiE公司 2022 : 162-171年 2021 [公元32年] 胡安·阿奎莱拉 , 罗伯特·卢巴斯基 :
反馈超跳。 J.日志。 计算。 31 ( 1 ) : 20-39 ( 2021 ) 2020 [公元31年] 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 罗伯特·卢巴斯基 :
反馈图灵可计算性简介。 J.日志。 计算。 30 ( 1 ) : 27-60 ( 2020 ) 【j30】 汉内斯·迪纳 , 罗伯特·卢巴斯基 :
粗度和亚稳态的概念。 J.日志。 计算。 30 ( 8 ) : 1487-1504 ( 2020 ) [第12条] 罗伯特·卢巴斯基 :
反馈超跳跃。 LFCS公司 2020 : 144-155
2010 – 2019
2019 [公元29年] 罗伯特·卢巴斯基 :
分离Fan定理及其弱点2。 J.塞姆。 日志。 84 ( 4 ) : 1484-1509 ( 2019 ) [公元28年] 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 罗伯特·卢巴斯基 :
康托空间上的反馈可计算性。 日志。 方法计算。 科学。 15 ( 2 ) ( 2019 ) 2018 [第11条] 汉内斯·迪纳 , 罗伯特·卢巴斯基 :
粗质和亚稳定概念。 线性调频控制系统 2018 : 140-153年 [第10条] 罗伯特·卢巴斯基 :
分离Fan定理及其弱点2。 LFCS公司 2018 : 242-255 2017 [i1] 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 罗伯特·卢巴斯基 :
康托空间上的反馈可计算性。 CoRR公司 腹肌/1708.01139 ( 2017 ) 2016 [j27] 罗伯特·卢巴斯基 , 诺曼·刘易斯·帕尔穆特 :
集合论模型之间的基本表态。 架构(architecture)。 数学。 日志。 55 ( 5-6 ) : 759-766 ( 2016 ) [公元26年] 马修·亨特拉斯 , 罗伯特·卢巴斯基 :
分离Wlem、LPO和MP片段。 J.塞姆。 日志。 81 ( 4 ) : 1315-1343 ( 2016 ) 【c9】 罗伯特·卢巴斯基 :
并行反馈图灵可计算性。 LFCS公司 2016 : 236至250 2015 [公元25年] 罗伯特·卢巴斯基 , 诺曼·刘易斯·帕尔穆特 :
关于超紧性的扩展。 数学。 日志。 问:。 61 ( 三 ) : 217-223 ( 2015 ) 【c8】 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 罗伯特·卢巴斯基 :
反馈图灵可计算性和图灵可算性作为反馈。 低收入国家 2015 : 523-534 2014 [公元24年] 罗伯特·卢巴斯基 , 汉内斯·迪纳 :
分离Fan定理及其弱点。 J.塞姆。 日志。 79 ( 三 ) : 792-813 ( 2014 ) 2013 [公元23年] 罗伯特·卢巴斯基 :
关于BD-和BD的故障,以及防Specker属性的应用。 J.塞姆。 日志。 78 ( 1 ) : 39-56 ( 2013 ) [公元22年] 汉内斯·迪纳 , 罗伯特·卢巴斯基 :
原则弱于BD-N。 J.塞姆。 日志。 78 ( 三 ) : 873-885年 ( 2013 ) 【c7】 罗伯特·卢巴斯基 , 迈克尔·拉什扬 :
分离各种风扇定理的可实现性模型。 CiE公司 2013 : 306-315 【c6】 罗伯特·卢巴斯基 , 汉内斯·迪纳 :
分离扇形定理及其弱点。 LFCS公司 2013 : 280-295 【c5】 罗伯特·卢巴斯基 , 弗雷德·里奇曼 :
沃克抵消定理。 TACL公司 2013 : 145-147 2012 [公元21年] 罗伯特·卢巴斯基 :
拓扑强制语义与解决。 Ann.纯粹应用。 日志。 163 ( 7 ) : 820-830 ( 2012 ) [公元20年] 罗伯特·卢巴斯基 , 弗雷德·里奇曼 , 彼特·舒斯特 :
度量拓扑中的Kripke模式。 数学。 日志。 问:。 58 ( 6 ) : 498-501 ( 2012 ) 2010 [公元19年] 罗伯特·卢巴斯基 :
没有点的几何空间。 J.日志。 分析。 2 ( 2010 ) [公元18年] 罗伯特·卢巴斯基 :
“无点几何空间”补遗和勘误表。 J.日志。 分析。 2 ( 2010 )
2000 – 2009
2009 [公元17年] 罗伯特·卢巴斯基 , 弗雷德·里奇曼 :
实数的有符号位表示。 J.日志。 分析。 1 ( 2009 ) 【c4】 罗伯特·卢巴斯基 :
拓扑强制语义与解决。 LFCS公司 2009 : 309-322 2008 [公元16年] 罗伯特·卢巴斯基 , 迈克尔·拉什扬 :
关于建设性的Dedekind reals。 日志。 分析。 1 ( 2 ) : 131-152 ( 2008 ) 2007 [公元15年] 罗伯特·卢巴斯基 :
关于构造柯西实的柯西完全性。 数学。 日志。 问:。 53 ( 4-5 ) : 396-414 ( 2007 ) 【c3】 罗伯特·卢巴斯基 , 迈克尔·拉什扬 :
论建构的德德金领域:扩展的抽象。 LFCS公司 2007 : 349-362 2006 [公元14年] 罗伯特·卢巴斯基 :
CZF和二阶算术。 Ann.纯粹应用。 日志。 141 ( 1-2 ) : 29-34 ( 2006 ) [c2] 罗伯特·卢巴斯基 :
关于构造柯西域的柯西完全性。 CCA公司 2006 : 225-254 2005 [j13] 罗伯特·卢巴斯基 :
建设性采埃孚的独立性。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 209-225 ( 2005 ) 2003 [公元12年] 迈克尔·拉什扬 , 罗伯特·卢巴斯基 :
关于正则扩张公理及其变体。 数学。 日志。 问:。 49 ( 5 ) : 511-518 ( 2003 ) 2002 [j11] 罗伯特·卢巴斯基 :
Ikp和朋友。 J.塞姆。 日志。 67 ( 4 ) : 1295-1322 ( 2002 )
1990 – 1999
1993 [公元10年] 罗伯特·卢巴斯基 :
µ-可定义的整数集。 J.塞姆。 日志。 58 ( 1 ) : 291-313 ( 1993 ) 1990 [公元9年] 罗伯特·卢巴斯基 :
gamma-Recurion理论简介(或KP-Foundation中的操作)。 J.塞姆。 日志。 55 ( 1 ) : 194-206 ( 1990 )
1980 – 1989
1989 [j8] 罗伯特·卢巴斯基 :
麻袋强制有时需要帮助才能产生最小上限。 J.塞姆。 日志。 54 ( 2 ) : 490-498 ( 1989 ) 【c1】 罗伯特·卢巴斯基 :
mu-可定义的整数集。 低收入国家 1989 : 343-352 1988 [j7] 罗伯特·卢巴斯基 :
范德维勒定理的另一个推广。 Ann.纯粹应用。 日志。 38 ( 三 ) : 301-306 ( 1988 ) [j6] 罗伯特·卢巴斯基 :
容许范围和最小值。 Ann.纯粹应用。 日志。 40 ( 三 ) : 257-276 ( 1988 ) [j5] 罗伯特·卢巴斯基 :
修正“简单R.E.度结构”。 J.塞姆。 日志。 53 ( 1 ) : 103-104 ( 1988 ) 【j4】 罗伯特·卢巴斯基 :
c度的可定义性和初始段。 J.塞姆。 日志。 53 ( 4 ) : 1070-1081 ( 1988 ) 1987 [j3] 罗伯特·卢巴斯基 :
c度格。 Ann.纯粹应用。 日志。 36 : 115-118 ( 1987 ) [注2] 罗伯特·卢巴斯基 :
简单的R.E.学位结构。 J.塞姆。 日志。 52 ( 1 ) : 208-213年 ( 1987 ) [j1] 罗伯特·卢巴斯基 :
不可计数的主代码和跳转层次结构。 J.塞姆。 日志。 52 ( 4 ) : 952-958 ( 1987 )