符号逻辑期刊,第84卷
第84卷第1期,2019年3月
拉希德·阿特迈 :
模型$L[T_{2n}]$的分析。 1-26 多米尼克·阿道夫 , 格里戈·萨尔基扬 :
Solovay序列最小固定点以下小鼠的衍生模型。 27-53 埃里希·格拉德尔 , 维德·帕库萨 :
等级逻辑死了,等级逻辑万岁! 54-87 陈瑞元 :
可合并的图表形状。 88-101 胡安·阿奎莱拉 , 马蒂亚斯·巴兹 :
不合理的推断使证明更短。 102-122 阿萨夫·卡拉吉拉 :
迭代对称扩展。 123-159 Sonia L'Innocente公司 , 弗朗索瓦点 , 吉纳迪·普宁斯基 , 卡洛·托法洛里 :
整个复值函数环的齐格勒谱。 160-177 亚瑟·W·阿普特 , 詹姆斯·加明斯 :
高红雀的正常尺寸。 178-204 安东尼奥·蒙塔尔班 , 詹姆斯·沃尔什 :
论一致性算子的必然性。 205-225 佐藤·肯塔罗 :
关于谓语序分析的一点注记I:迭代理解和超限归纳。 226-265 弗拉基米尔·卡诺维 , 瓦西里·柳贝茨基 :
任意射影水平上的可定义最小崩溃函数。 266-289 约翰·威尔逊 :
有限群和伪有限群的分量和极小正规子群。 290-300 迪莫普洛斯(Stamatis Dimopoulos) :
木料,用于坚固紧凑的红雀。 301-319 Omer Ben-Neria公司 :
关于奇异平稳性II(紧平稳性和基于扩展器的方法)。 320-342 费多·帕霍莫夫 , 阿尔伯特·维瑟 :
关于克拉耶夫斯基的一个问题。 343-358 简·格雷比克 , 卡洛斯·乌兹卡特吉 :
塔尔族的底座和钻孔选择器。 359-375 赤达冲 , 刘振武 , 梁羽 :
${\rm{\Sigma}}_2^1$-集的基本定理。 376-387 尼古拉斯·拉姆齐 :
关于一个变量中Nsop1的注释。 388-392 劳伦特·宾文努(Laurent Bienvenu) , 克里斯托弗·波特 :
论随机性和一般性的有效概念之间的相互作用。 393-407 丹·萨特鲁普·尼尔森 , 菲利普·D·韦尔奇 :
游戏和类似拉姆西的红雀队。 408-437
第84卷第2期,2019年6月
拉杰夫·戈尔 , 吉米·汤姆森 :
S4到直觉逻辑的正确多项式翻译。 439-451 雅罗斯拉夫·内塞特里 , 帕特里斯·奥索纳·德·门德斯 :
稀疏结构序列建模极限的存在性。 452-472 张静(音译) :
大基数下Halpern-läUchli定理的尾锥版本。 473-496 沃尔夫冈·默克尔 , 梁羽 :
在序列和其他地方处于低位。 497-516 多米尼克·勒科姆 :
Borel矩形可数并的分离结果。 517-532 斯坦尼斯拉夫·基科特 , 阿吉·库鲁茨 , 田中义仁 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
带算子Meet-半格上严格正模态逻辑的Kripke完备性。 533-588 卡梅林·J·威廉姆斯 :
二阶集合论的最小模型。 589-620 耶尔·哈尤特 , 梅纳赫姆·马吉多 :
${\aleph_{\omega+1}$处树属性的可破坏性。 621-631 埃兰·阿洛夫 , 克里斯蒂安·德尔贝 :
一种新的DP-整数的最小展开式。 632-663 Elitzur Bar-Yehuda公司 , 阿萨夫·哈森 , 亚亚科夫·彼得齐尔 :
非赋值结构的配对理论。 664-683 托马斯·吉尔顿 , 约翰·克鲁格 :
具有大连续体的Harrington-Shelah模型。 684-703 乌拉·卡胡马基 :
具有有限自同构群的可定义简单稳定群。 704-712 谢伍德·哈希特曼 , 迪玛·辛纳波娃 :
Itp、ISP和SCH。 713-725 高崎木原 :
关于TT-度的度量推广和有效维数理论。 726-749 加布里埃尔·科南特 , 亚历克斯·克鲁克曼 :
通用关联结构中的独立性。 750-780 玛雅·萨兰 :
由紧集生成的σ-理想中的Gδ集。 781-797 保罗·金德瓦尔·戈博 :
代数新基础。 798-832 莱文·海卡赞 :
正模型理论中的类型空间。 833-848 叶夫根尼·科尔马科夫 , 列夫·D·别克拉米舍夫 :
可证明n-可证明性的公理化。 849-869 琼·兰德·莫肖瓦基斯 :
马尔可夫原理与直觉分析子系统。 870-876
第84卷第3期,2019年9月
乔治·拉古齐 :
无数树木和科恩$\kappa$-雷亚尔。 877-894 Miha E.习惯 :
联合钻石和紫菜钻石。 895-928 伊万·迪·利贝蒂 :
弱饱和度和弱融合特性。 929-936 邹廷祥 :
伪有限H结构和超单H结构中可定义的群。 937-956 亚蒂尔·哈列维 , 丹尼尔·帕拉辛 :
阿贝尔群的DP-Rank。 957-986 莱奥·希梅内兹 :
群类和相对内在性。 987-1006 丹努尔·古纳提列卡 :
Baldwin-Shi超图理论的可数模型及其正则类型。 1007-1019 伊恩·普拉特·哈特曼 , 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
重温长笛碎片。 1020-1048 瑞斯·约翰斯顿 :
不可数二叉树中的可计算性。 1049-1098 昆汀·布鲁特 , 巴勃罗·库比德斯(Pablo Cubides Kovacsics) , 弗朗索瓦点 :
可定义类型和闭有序微分场的强密度。 1099-1117 穆罕默德·阿尔德斯希尔 , S.Mojtaba Mojtahedi公司 :
$HA^{text{*}$的${text{\Sigma}}_1$-可证明性逻辑。 1118-1135 彼得罗·加利亚尼 :
具有向下封闭、强一阶、相对依赖性的特征。 1136-1167 Byunghan Kim先生 :
关于无权ω的可数Nsop1理论的可数模型数。 1168-1175 大卫·J·费尔南德斯·布雷顿 :
稳定有序联合超滤波器和cov$\left(\mathcal{M}\right)<\mathfrak{c}$。 1176-1193 哈维尔·乌特雷拉斯 :
多项式环的一阶加法和余素性理论中的算术解释。 1194-1214 恩里克·卡萨诺瓦斯 , 撒哈拉沙拉 :
通用理论和紧凑可扩展模型。 1215-1223 加布里埃尔·戴布斯 , 让·圣雷蒙德 :
游戏运营商对Borel集的Wadge类进行操作。 1224-1239 西蒙·亨利 :
${L_{infty,\kappa}}$中的抽象初等类不可公理化。 1240-1251 豪尔赫·凯利 , 米歇尔·雷鲍特 :
动机构造函数上的回拉函数和推-前函数的交换性。 1252-1278 凯尔·甘农 :
本地Keisler度量和NIP公式。 1279-1292
第84卷第4期,2019年12月
Druv Mubayi博士 , 卡罗琳·特里 :
离散度量空间:结构、枚举和0-1法则。 1293-1325 罗德尼·G·唐尼 , 萨蒂亚德夫·南达库马 :
约束最小度的弱2-泛型。 1326-1347 亨利克·福赛尔 , 彼得·勒法努·朗斯丹 :
正则理论的构造反射原理。 1348-1367 安德鲁·克里奇 :
löB定理的参数化、基于资源的推广,以及开源博弈论的稳健合作准则。 1368-1381 伊丽莎白·霍沃斯 , 杰弗里·B·巴黎 :
带函数的纯归纳逻辑。 1382-1402 马西娅·格罗泽克 , 乔尔·戴维·哈姆金斯 :
隐含构建的宇宙。 1403-1421 达格·诺曼 , 萨姆·桑德斯 :
可计算性理论、非标准分析及其联系。 1422-1465 西德维德·弗里德曼 , 斯特凡·霍夫纳 :
具有${rm{NS}}_{omega_1}$饱和的实的${rm}\Sigma}}_4^1$良序。 1466-1483 罗伯特·卢巴斯基 :
分离Fan定理及其弱点2。 1484-1509 阿尔特姆·切尔尼科夫 , 皮埃尔·西蒙 :
Henselian值域和InP-极小。 1510-1526 鲁珀特·霍尔兹尔 , 克里斯托弗·波特 :
等级和随机性。 1527-1543 卢卡·卡莱 , 西尔维奥·吉拉尔迪 :
存在闭Brouwerian半格。 1544-1575 侯赛因·拉梅·拉曼迪 :
一个新的极小非σ-散射线性阶。 1576-1589 伊安·B·史密斯 :
向量空间中的疯狂。 1590-1611 安德烈·西波斯 :
LP空间中的证明挖掘。 1612-1629 尼古拉·巴热诺夫 , 马修·哈里森-培训师 , 伊斯坎德Sh.Kalimullin , 亚历山大·梅尔尼科夫 , Keng Meng Ng公司 :
自动和多项式时间代数结构。 1630-1669 贝诺·特莫宁 , 保罗·埃利奥特·奥里亚克 :
Ittms的遗传性和随机性。 1670-1710 特雷弗·M·威尔逊 :
弱显著红雀、ERDőS红雀和通用VOPěNka原则。 1711-1721 Moti Gitik公司 :
放大了一个不可数共终结性的单一基数的力量。 1722-1743