山姆·桑德斯
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元26年] 山姆·桑德斯 :
探索克莱恩可计算性理论的深渊。 计算。 13 ( 2 ) : 113-134 ( 2024 ) [c17] 山姆·桑德斯 :
关于弱连续性概念的计算性质。 CiE公司 2024 : 113-125 [第九章] 达格·诺曼 , 山姆·桑德斯 :
关于开集的一些计算性质。 CoRR公司 abs/2401.09053 ( 2024 ) 2023 [第16条] 山姆·桑德斯 :
克莱恩可计算性理论中的非正规深渊。 CiE公司 2023 : 37-49 [i8] 山姆·桑德斯 :
克莱恩可计算性理论中的非正常深渊。 CoRR公司 abs/2302.07066 ( 2023 ) [i7] 山姆·桑德斯 :
探索克莱恩可计算性理论的深渊。 CoRR公司 abs/2308.07438 ( 2023 ) 2022 [j25] 山姆·桑德斯 :
可数集合与逆向数学中的可数集合。 计算。 11 ( 1 ) : 9-39 ( 2022 ) [公元24年] 山姆·桑德斯 :
将证明从可数数学提升到不可数数学。 Inf.计算。 287 : 104762 ( 2022 ) [公元23年] 达格·诺曼 , 山姆·桑德斯 :
论ℝR的不可数性。 J.塞姆。 日志。 87 ( 4 ) : 1474-1521 ( 2022 ) [公元22年] 达格·诺曼 , 山姆·桑德斯 :
关于基本数学概念的计算性质。 J.日志。 计算。 32 ( 8 ) : 1747-1795 ( 2022 ) [第15条] 山姆·桑德斯 :
不可数性的逆向数学。 CiE公司 2022 : 272-286 [第14条] 达格·诺曼 , 山姆·桑德斯 :
图灵和克莱恩之间。 LFCS公司 2022 : 236-252 [第13条] 山姆·桑德斯 :
在图灵和克莱恩之间。 LFCS公司 2022 : 281-300 [第12条] 山姆·桑德斯 :
关于实数不可数的计算性质。 沃尔利克 2022 : 362-377 [i6] 达格·诺曼 , 山姆·桑德斯 :
关于基本数学概念的计算性质。 CoRR公司 abs/2203.05250 ( 2022 ) [i5] 山姆·桑德斯 :
实数不可数的计算性质。 CoRR公司 abs/2206.12721 ( 2022 ) 2021 [公元21年] 山姆·桑德斯 :
网络和逆向数学。 计算。 10 ( 1 ) : 31-62 ( 2021 ) [公元20年] 达格·诺曼 , 山姆·桑德斯 :
可计算性理论和逆向数学中的选择公理,配饰连续体假设。 J.日志。 计算。 31 ( 1 ) : 297-325 ( 2021 ) [第11条] 山姆·桑德斯 :
Heine-Borel定理的分裂与鲁棒性。 CiE公司 2021 : 395-406 [i4] 达格·诺曼 , 山姆·桑德斯 :
图灵和克莱恩之间。 CoRR公司 abs/2109.01352 ( 2021 ) 2020 [公元19年] 达格·诺曼 , 山姆·桑德斯 :
逆向数学和可计算性理论中的Pincherle定理。 Ann.纯粹应用。 日志。 171 ( 5 ) : 102788 ( 2020 ) [公元18年] 山姆·桑德斯 :
非标准分析的不合理有效性。 J.日志。 计算。 30 ( 1 ) : 459-524 ( 2020 ) [公元17年] 达格·诺曼 , 山姆·桑德斯 :
可计算性理论和逆向数学中的开集。 J.日志。 计算。 30 ( 8 ) : 1639-1679 ( 2020 ) [公元16年] 山姆·桑德斯 :
逆向数学中的分裂和析取。 圣母院J.正式日志。 61 ( 1 ) : 51-74 ( 2020 ) [公元15年] 山姆·桑德斯 :
反形式主义16。 合成。 197 ( 2 ) : 497-544 ( 2020 ) [第10条] 山姆·桑德斯 :
将递归反例提升为高阶算法。 LFCS公司 2020 : 249-267
2010 – 2019
2019 [公元14年] 本诺·范登伯格 , 山姆·桑德斯 :
逆向数学和无参数传递。 Ann.纯粹应用。 日志。 170 ( 三 ) : 273-296 ( 2019 ) [j13] 山姆·桑德斯 :
关于非经典非标准算法的注记。 Ann.纯粹应用。 日志。 170 ( 4 ) : 427-445 ( 2019 ) [公元12年] 达格·诺曼 , 山姆·桑德斯 :
可计算性理论和非标准分析中的紧性强度。 Ann.纯粹应用。 日志。 170 ( 11 ) ( 2019 ) [公元11年] 达格·诺曼 , 山姆·桑德斯 :
关于不可数的数学和基础意义。 数学杂志。 日志。 19 ( 1 ) : 1950001:1-1950001:40 ( 2019 ) [公元10年] 达格·诺曼 , 山姆·桑德斯 :
可计算性理论、非标准分析及其联系。 J.塞姆。 日志。 84 ( 4 ) : 1422-1465 ( 2019 ) 【c9】 山姆·桑德斯 :
网络和逆向数学-一些初步结果。 CiE公司 2019 : 253-264 【c8】 山姆·桑德斯 :
领域理论的逆向数学和可计算性理论。 沃尔利克 2019 : 550-568 [i3] 山姆·桑德斯 :
网络与逆向数学,一项初步研究。 CoRR公司 abs/1905.04058 ( 2019 ) [i2] 山姆·桑德斯 :
将递归反例提升到高阶算术。 CoRR公司 abs/1908.05677 ( 2019 ) 2018 [公元9年] 山姆·桑德斯 :
Gandy-Hyland泛函和非标准分析的计算方面。 计算。 7 ( 1 ) : 7-43 ( 2018 ) [j8] 山姆·桑德斯 :
优化逆向数学动物园的驯服。 圣母院J.正式日志。 59 ( 4 ) : 579-597 ( 2018 ) 【c7】 山姆·桑德斯 :
逆向数学中的一些非标准等价。 CiE公司 2018 : 365-375 【c6】 山姆·桑德斯 :
亚稳定性和高阶可计算性。 LFCS公司 2018 : 309-330 2017 [j7] 山姆·桑德斯 :
Grilliot在非标准分析中的技巧。 日志。 方法计算。 科学。 13 ( 4 ) ( 2017 ) 【c5】 山姆·桑德斯 , 克里斯·巴里克 , 弗雷德里克·迈尔 , 哈立德·拉希德 :
利用天气预报改进太阳辐射预报。 ICMLA公司 2017 : 499-504 【c4】 山姆·桑德斯 :
从非标准分析到各种风格的可计算性理论。 TAMC公司 2017 : 556-570 [i1] 山姆·桑德斯 :
Grilliot在非标准分析中的技巧。 CoRR公司 abs/1706.06663 ( 2017 ) 2016 【c3】 克里斯蒂娜·利夫克 , 山姆·桑德斯 :
一个可计算的解决方温度难题的方法。 拉丁美洲和加勒比海 2016 : 175-190 【c2】 山姆·桑德斯 :
非标准分析的计算内容。 CL&C公司 2016 : 24-40 2013 [j6] 山姆·桑德斯 :
逆向工程逆向数学。 Ann.纯粹应用。 日志。 164 ( 5 ) : 528-541 ( 2013 ) 2012 [j5] 山姆·桑德斯 , Keita Yokoyama先生 :
逆向数学的两个设置中的Dirac delta函数。 架构(architecture)。 数学。 日志。 51 ( 1-2 ) : 99-121 ( 2012 ) 【c1】 山姆·桑德斯 :
作为Ω不变性和传递的算法和证明:非标准分析中的一种新的计算模型。 DCM公司 2012 : 97-109 2011 【j4】 山姆·桑德斯 :
ERNA和Friedman的逆向数学。 J.塞姆。 日志。 76 ( 2 ) : 637-664 ( 2011 ) 2010 [j3] 山姆·桑德斯 :
为了更好的有限性,需要更多的无穷大。 Ann.纯粹应用。 日志。 161 ( 12 ) : 1525-1540 ( 2010 ) [注2] 山姆·桑德斯 :
相对算术。 数学。 日志。 问。 56 ( 6 ) : 564-572 ( 2010 )
2000 – 2009
2008 [j1] 克里斯·因彭斯 , 山姆·桑德斯 :
转让和ERNA的最高原则。 J.塞姆。 日志。 73 ( 2 ) : 689-710 ( 2008 )