H.杰罗姆·凯斯勒
人员信息
优化列表
2020年–今天
2024 [j45] H.杰罗姆·凯斯勒 :
使用超功率比较连续结构。 Ann.纯粹应用。 日志。 175 ( 第1版,B部分 ) : 103284 ( 2024 ) 2022 [公元44年] 艾萨克·戈德布林 , H.杰罗姆·凯斯勒 :
降积下保留的连续句。 J.塞姆。 日志。 87 ( 2 ) : 649-681 ( 2022 ) 2020 [公元43年] 乌里·安德鲁斯 , 艾萨克·戈德布林 , 谢伍德·哈希特曼 , H.杰罗姆·凯斯勒 , 大卫·马克 :
分散的句子几乎没有可分离的随机性。 架构(architecture)。 数学。 日志。 59 ( 5-6 ) : 743-754 ( 2020 )
2010 – 2019
2019 [j42] 乌里·安德鲁斯 , 艾萨克·戈德布林 , H.杰罗姆·凯斯勒 :
随机性的独立性。 数学杂志。 日志。 19 ( 1 ) : 1950005:1-1950005:42 ( 2019 ) 2018 [公元41年] 亚当·布兰登伯格 , H.杰罗姆·凯斯勒 :
规范的隐藏变量空间。 Ann.纯粹应用。 日志。 169 ( 12 ) : 1295-1302 ( 2018 ) 2017 [j40] H.杰罗姆·凯斯勒 :
Maryanthe Malliaris和Saharon Shelah,模型理论、集合论和一般拓扑学中的共终结谱问题。 《美国数学学会杂志》,第29卷(2016),第237-297页 Maryanthe Malliaris和Saharon Shelah,最优超滤的存在性和简单理论的基本复杂性。 《数学进展》,第290卷(2016年),第614-681页 Maryanthe Malliaris和Saharon Shelah,凯斯勒秩序有无限多个类。 以色列数学杂志即将出版, https://math.uchicago.edu/ ~mem/。 牛市。 符号。 日志。 23 ( 1 ) : 117-121 ( 2017 ) 2015 [公元39年] 乌里·安德鲁斯 , 艾萨克·戈德布林 , H.杰罗姆·凯斯勒 :
随机化中的可定义闭包。 Ann.纯粹应用。 日志。 166 ( 三 ) : 325-341 ( 2015 ) [公元38年] 乌里·安德鲁斯 , H.杰罗姆·凯斯勒 :
可分离随机模型。 J.塞姆。 日志。 80 ( 4 ) : 1149-1181 ( 2015 ) 2014 [公元37年] H.杰罗姆·凯斯勒 , 杰弗里·凯斯勒 :
在句子网络中观察、报告和决定。 Ann.纯粹应用。 日志。 165 ( 三 ) : 812-836 ( 2014 ) 2013 【c5】 亚当·布兰登伯格 , H.杰罗姆·凯斯勒 :
量子力学中正则隐变量空间的使用。 计算、逻辑、游戏和量子基础 2013 : 1-6 2012 [公元36年] H.杰罗姆·凯斯勒 , 杰弗里·凯斯勒 :
句子网络的克雷格插值。 Ann.纯粹应用。 日志。 163 ( 9 ) : 1322-1344 ( 2012 ) 2011 [j35] H.杰罗姆·凯斯勒 , Wafik Boulos Lotfallah公司 :
广义量词的等级层次。 J.日志。 计算。 21 ( 2 ) : 287-306 ( 2011 ) 2010 [公元34年] H.杰罗姆·凯斯勒 :
非标准算术和递归理解。 Ann.纯粹应用。 日志。 161 ( 8 ) : 1047-1062 ( 2010 ) 【c4】 阿曼达·弗里登伯格 , H.杰罗姆·凯斯勒 :
反复重温统治地位。 BQGT公司 2010 : 27:1
2000 – 2009
2009 [公元33年] H.杰罗姆·凯斯勒 , Wafik Boulos Lotfallah公司 :
几乎处处消除概率量词。 J.塞姆。 日志。 74 ( 4 ) : 1121-1142 ( 2009 ) 2006 [公元32年] H.杰罗姆·凯斯勒 :
非标准算术和逆向数学。 牛市。 符号。 日志。 12 ( 1 ) : 100-125 ( 2006 ) [公元31年] 亚当·布兰登伯格 , H.杰罗姆·凯斯勒 :
关于游戏中信念的一个不可能定理。 Stud Logica公司 84 ( 2 ) : 211-240 ( 2006 ) 2005 【j30】 H.杰罗姆·凯斯勒 , Wafik Boulos Lotfallah公司 :
具有一元量词的无限逻辑的局部范式定理。 数学。 日志。 问:。 51 ( 2 ) : 137-144 ( 2005 ) 2004 [公元29年] H.杰罗姆·凯斯勒 , Wafik Boulos Lotfallah公司 :
缩小游戏和本地公式。 Ann.纯粹应用。 日志。 128 ( 1-3 ) : 215-225 ( 2004 ) [公元28年] H.杰罗姆·凯斯勒 , 朱莉娅·奈特 :
Barwise:无限逻辑和可容许集。 牛市。 符号。 日志。 10 ( 1 ) : 4-36 ( 2004 ) [公元27年] H.杰罗姆·凯斯勒 , Wafik Boulos Lotfallah公司 :
~一元二阶逻辑中的一阶量词。 J.塞姆。 日志。 69 ( 1 ) : 118-136 ( 2004 ) 2003 [公元26年] 本尼迪克特 , H.杰罗姆·凯斯勒 :
半线性集的谓词可定义性。 J.塞姆。 日志。 68 ( 1 ) : 319-351 ( 2003 ) 2000 [公元25年] 金仁灵 , H.杰罗姆·凯斯勒 :
Loeb空间的Maharam谱。 J.塞姆。 日志。 65 ( 2 ) : 550-566 ( 2000 ) 【c3】 本尼迪克特 , H.杰罗姆·凯斯勒 :
对线性约束的可定义性。 CSL公司 2000 : 217-231
1990 – 1999
1998 [公元24年] H.杰罗姆·凯斯勒 :
新紧集的量词消去。 J.塞姆。 日志。 63 ( 4 ) : 1442-1472 ( 1998 ) 1997 [c2] 本尼迪克特 , H.杰罗姆·凯斯勒 :
一元计数器的表达能力。 逻辑与计算机科学中的结构 1997 : 34-50 【c1】 本尼迪克特 , H.杰罗姆·凯斯勒 :
一元计数器的表达能力。 ICDT公司 1997 : 291-305 1993 [公元23年] 金仁灵 , H.杰罗姆·凯斯勒 :
游戏句子和超能力。 Ann.纯粹应用。 日志。 60 ( 三 ) : 261-274 ( 1993 ) 1992 【b1】 陈长川(Chen C.Chang) , H.杰罗姆·凯斯勒 :
模型理论,第三版。 逻辑和数学基础研究 73, 出版社 1992 ,国际标准图书编号 978-0-444-88054-3 第I-XIII页,1-650页 1991 [公元22年] H.杰罗姆·凯斯勒 :
从离散时间到连续时间。 Ann.纯粹应用。 日志。 52 ( 1-2 ) : 99-141 ( 1991 ) [公元21年] H.杰罗姆·凯斯勒 , 史蒂文·莱思 :
超有限时间线上的微细集。 J.塞姆。 日志。 56 ( 1 ) : 71-102 ( 1991 ) [j20] H.杰罗姆·凯斯勒 , 詹姆斯·施默尔 :
使超现实直线饱和且完整。 J.塞姆。 日志。 56 ( 三 ) : 1016-1025 ( 1991 )
1980 – 1989
1989 [公元19年] H.杰罗姆·凯斯勒 , 肯尼斯·库宁 , 阿诺德·米勒 , 史蒂文·莱思 :
超有限集上的描述性集理论。 J.塞姆。 日志。 54 ( 4 ) : 1167-1180 ( 1989 ) 1987 [公元18年] H.杰罗姆·凯斯勒 :
测量和分叉。 Ann.纯粹应用。 日志。 34 ( 2 ) : 119-169 ( 1987 ) 1986 [公元17年] H.杰罗姆·凯斯勒 :
自适应概率逻辑的完备性证明。 Ann.纯粹应用。 日志。 31 : 61-70 ( 1986 ) [公元16年] H.杰罗姆·凯斯勒 :
自适应概率逻辑的超有限模型。 Ann.纯粹应用。 日志。 31 : 71-86 ( 1986 ) [公元15年] C.沃德·亨森 , H.杰罗姆·凯斯勒 :
关于非标准分析的强度。 J.塞姆。 日志。 51 ( 2 ) : 377-386 ( 1986 ) 1984 [公元14年] C.沃德·亨森 , 马特·考夫曼 , H.杰罗姆·凯斯勒 :
非标准方法在算术中的优势。 J.塞姆。 日志。 49 ( 4 ) : 1039-1058 ( 1984 ) 1983 [j13] H.杰罗姆·凯斯勒 :
符号逻辑协会会议:麦迪逊,1982年。 J.塞姆。 日志。 48 ( 4 ) : 1233-1239 ( 1983 )
1970 – 1979
1979 [公元12年] 金·布鲁斯 , H.杰罗姆·凯斯勒 :
L(左) 一 (\芬兰)。 J.塞姆。 日志。 44 ( 1 ) : 15-28 ( 1979 ) [公元11年] 约翰.艾迪生 , 乔恩·巴韦斯 , H.杰罗姆·凯斯勒 , 肯尼斯·库宁 , 伊安尼斯·莫肖瓦基斯 :
克莱恩研讨会和符号逻辑协会夏季会议。 J.塞姆。 日志。 44 ( 三 ) : 469-480 ( 1979 ) 1978 [公元10年] H.杰罗姆·凯斯勒 :
理论的稳定性函数。 J.塞姆。 日志。 43 ( 三 ) : 481-486 ( 1978 ) 1974 [公元9年] H.杰罗姆·凯斯勒 , 卡雷尔·普里克利 :
关于超产品基数的结果。 J.塞姆。 日志。 39 ( 1 ) : 43-48 ( 1974 ) 1973 [j8] H.杰罗姆·凯斯勒 , 小威尔伯·沃尔科。 :
量词前缀的多样性。 J.塞姆。 日志。 38 ( 1 ) : 79-85 ( 1973 ) 1971 [j7] H.杰罗姆·凯斯勒 :
论范畴理论的自身力量。 J.塞姆。 日志。 36 ( 2 ) : 240-244 ( 1971 )
1960 – 1969
1967 [j6] H.杰罗姆·凯斯勒 :
未饱和的超制品。 J.塞姆。 日志。 32 ( 1 ) : 23-46 ( 1967 ) [j5] H.杰罗姆·凯斯勒 :
有限集的超积。 J.塞姆。 日志。 32 ( 1 ) : 47-57 ( 1967 ) 1965 [j4] H.杰罗姆·凯斯勒 :
限制Ultraproducts。 J.塞姆。 日志。 30 ( 2 ) : 212-234 ( 1965 ) [j3] H.杰罗姆·凯斯勒 :
无穷长公式的一些应用。 J.塞姆。 日志。 30 ( 三 ) : 339-349 ( 1965 ) 1962 [注2] 陈长川(Chen C.Chang) , H.杰罗姆·凯斯勒 :
一种改进的Prenex范式。 J.塞姆。 日志。 27 ( 三 ) : 317-326 ( 1962 ) 1960 [j1] H.杰罗姆·凯斯勒 :
广义原子公式模型理论。 J.塞姆。 日志。 25 ( 1 ) : 1-26 ( 1960 )