符号逻辑期刊,第85卷
第85卷第1期,2020年3月
埃文·戈利斯 , 乔斯特·J·乔斯顿 :
所有合理算术理论的可解释逻辑中的两个新原则系列。 1-25 金仁灵 :
慢速P-Point超滤器。 26-36 费里西奥·姆韦西吉 , 约翰·肯尼斯·特鲁斯 :
Ehrenfeucht-FRAíSSéGames上的一类离散线性序。 37-60 乌里·安德鲁斯 , Serikzhan A.Badaev公司 :
关于可计算可枚举等价关系的同构类。 61-86 娜塔莎·多布林恩 , 丹尼尔·海瑟薇 :
力与Halpern-läUchli定理。 87-102 本杰明·米勒 , 佐尔坦·维迪尼安斯基 :
关于可定义拟序的大反链的存在性。 103-108 尼克·贝扎尼什维利 , 韦斯利·霍利迪 :
无选择石二元性。 109-148 奥斯瓦尔多·古兹曼·冈萨雷斯 , 迈克尔·赫鲁萨克 , 奥斯瓦尔多·特列兹 :
受限制的MAD系列。 149-165 埃里克·P·阿斯特 , 达米尔·德扎法罗夫 , 安东尼奥·蒙塔尔班 , 里德所罗门 , 琳达·布朗·韦斯特里克 :
反向数学中Baire的确定性质。 166-198 达乌德·西尼乌拉 , 斯拉沃米尔·索莱基 :
部分自同构、自由合并和自同构群的相干扩张。 199-223 沈国珍 , 嘉辰苑 :
ZF第一部分:ZF结果中无限基数的阶乘。 224-243 沈国珍 , 嘉辰苑 :
ZF中无穷基数的阶乘第二部分:一致性结果。 244-270 安德烈·涅斯 , 保罗·谢弗 :
随机性概念和逆向数学。 271-299 雅克·杜帕克 , 路易·威勒米耶(Louis Vuilleumier) :
Scott域上的Wadge阶不是Well拟阶。 300-324 霍华德·贝克尔 :
将同构类型赋给超度数。 325-337 胡安·阿奎莱拉 , 桑德拉·米勒 :
长投射确定性的一致性强度。 338-366 阿里·埃纳亚特 , 马特乌斯·莱利克 , 巴托斯·威西斯洛 :
真实性和可行性。 367-421 阿伦·盖雷特 , 特拉维斯·内尔 :
Hamel间隙和远端扩张。 422-438 玛丽安·莫里伦 :
多重选择意味着英格尔顿和克雷恩·米尔曼公理。 439-455 维克多之吻 :
描述拜尔1级功能的游戏。 456-466 拉德克·洪齐克(Radek Honzik) , 萨尔卡·斯特伊斯卡洛娃 :
树属性的不可破坏性。 467-485 鲁珀特·霍尔兹尔 , 沃尔夫冈·默克尔 , 约瑟夫·米勒 , 弗兰克·斯蒂芬 , 梁羽 :
Chaitin的ω是一个连续函数。 486-510 安东·弗伦德 :
预测性崩溃原则。 511-530 丹尼斯·赫施费尔特 :
一般度中的极小对。 531-537
第85卷第2期,2020年6月
亚历山大·卡兹达 , 马特·瓦莱里奥特 :
有限幂等代数中Maltsev条件的判定。 539-562 雅各布·埃梅内格 , 埃里克·帕尔姆格伦 :
集合的精确完备与构造理论。 563-584 加布里埃尔·戈德伯格 :
Ketonen命令。 585-604 安德烈·N·弗洛洛夫 , 斯特芬·伦普 , 吴景孟 , 吴国华 :
可计算线性订单和产品。 605-623 安德烈亚·瓦卡罗 :
不可分离$\text{C}^{ast}$-代数的VOICULESCU定理。 624-631 德米特里·伊特塞克森 , 亚历山大·诺普 , 安德烈·罗马申科 , 德米特里·索科洛夫 :
基于OBDD的动态改变变量顺序的算法和证明系统。 632-670 米哈伊·普鲁内斯库 :
${\mathbb{Q}}$的指数型DIOPHANTINE问题。 671-672 朱莉娅·奈特 , 亚历山德拉·A·索斯科娃 , 斯特凡·瓦特夫 :
图和线性排序中的编码。 673-690 Omer Ben-Neria公司 , 西蒙·加蒂 :
关于常规红雀主要特征的构型。 691-708 安东·弗伦德 :
正规函数的单个不动点有多强? 709-732 巴维尔·克鲁普西 , 本杰明·维纳 :
某些紧集类上同胚关系的复杂性。 733-748 卢卡·米凯克 , 姆拉登·武科维奇 :
可解释逻辑和广义Veltman语义。 749-772 布伦特·科迪 :
通过不可描述性对拉姆齐层次结构的改进。 773-808 拉斐拉·卡特罗(Raffaella Cutolo) :
N-Berkeley基数和弱扩展器模型。 809-816 维斯拉夫·库比斯 , 撒哈拉沙拉 :
具有非均匀自同构群的齐次结构。 817-827 阿马多·马丁·皮萨罗 , 马丁·齐格勒 :
场的等式理论。 828-851 伊夫·科努利尔 , 约翰·威尔逊 :
有限群和伪有限群中的一阶可识别性。 852-867
第85卷第3期,2020年9月
维多利亚·吉特曼 , 乔尔·戴维·哈姆金斯 , 彼得·霍利 , 菲利普·施利希特 , 卡梅林·J·威廉姆斯 :
类强迫定理的确切强度。 869-905 丹尼尔·蒙迪奇 :
łukasiewicz公理的含义。 906-917 弗兰克·瓦格纳 :
维度组和字段。 918-936 耶尔·哈尤特 , 斯宾塞·昂格 :
静止反射。 937-959 龙云顶 , 高崎木原 , 布莱恩·塞姆斯 , 赵佳菲 :
在Polish Spaces上分解Baire类$2$的函数。 960-971 丁一峰 , 马修·哈里森-培训师 , 韦斯利·霍利迪 :
比较基数的逻辑。 972-1005 高崎木原 , 阿尔贝托·马可尼 , 阿诺·保利 :
在Weihrauch晶格中寻找Atr0的类似物。 1006-1043 西蒙·赵 :
度量空间和连续逻辑的范畴语义。 1044-1078 蕾切尔·阿尔维尔 , 迪诺·罗塞格 :
分散线性顺序的Scott句子的复杂性。 1079-1101 胡安·阿奎莱拉 :
$L(\mathbb{R})$中的$F_\sigma$游戏和反射。 1102-1123 胡安·阿奎莱拉 , D.W.蓝色 :
事实证明$\Delta_1$游戏。 1124-1146 克里斯蒂安·埃斯皮恩多拉 :
Deligne完全性定理的无限推广。 1147-1162 Toshiyasu Arai公司 :
一阶反射的简化序数分析。 1163-1185 Shuhei Masumoto公司 :
关于广义FRAíSSé极限构造及其在Jiang-SU代数中的应用。 1186-1223 仓桥泰史 :
关于可导出条件的注释。 1224-1253 泰勒?布朗 , 蒂莫西·麦克尼科尔 , 亚历山大·梅尔尼科夫 :
关于分类Lebesgue空间的复杂性。 1254-1288 拉斐尔·卡罗伊 , 本杰明·米勒 :
超出First Baire类的函数的基础。 1289-1303
第85卷第4期,2020年12月
丹尼尔·沃尔夫 :
多维精确类、光滑逼近和有界4型。 1305-1341 迈克尔·拉什扬 , 安德鲁·斯旺 :
Lifschitz作为拓扑结构的可实现性。 1342-1375 马可·巴隆 , 尼科拉斯·卡罗 , Eudes Naziazeno公司 :
约化不可分解多项式环中整数的一致可定义性。 1376-1402 Predrag Tanovic公司 , 斯拉夫科·莫孔加 , 德扬·伊利奇 :
围绕鲁宾的“线性秩序理论”。 1403-1426 罗德·唐尼 , 诺姆·格林伯格 , 亚历山大·梅尔尼科夫 , Keng Meng Ng公司 , 丹尼尔·图雷茨基 :
准时分类和普遍性。 1427-1466 扬·多布罗沃尔斯基 , 丹尼尔·马克斯·霍夫曼 , Junguk Lee公司 :
PAC结构的基本等价定理。 1467-1498 诺姆·格林伯格 , 吴景孟 , 吴国华 :
可计算枚举度中的杯突和跳跃类。 1499-1545 山本俊彦(Tomoyuki Yamakami) :
量子多项式时间可计算性的图解定义。 1546-1587 阿尔曼·达宾扬 :
可计算性、顺序和可解组。 1588-1598 玛丽亚娜·巴达诺 , 迭戈·瓦乔内(Diego Vaggione) :
中心元理论的基本定理。 1599-1606 伊塔伊·本·雅科夫 , 弗兰克·瓦格纳 :
Schlichting定理的度量版本。 1607-1613 瓦斯科·布拉特卡 , 吉多·格拉迪 :
韦赫劳赫(Weihrauch)成为布鲁维尔(Brouwerian)人。 1614-1653 藤田优人 :
第二类可定义完全一致局部O-极小结构的维数不等式。 1654-1663 马修·哈里森-培训师 , 亚历山大·梅尔尼科夫 , Keng Meng Ng公司 :
波兰空间到同胚的可计算性。 1664-1686 塞缪尔·亚历山大 :
自我参照理论。 1687-1716 马克·卡姆斯马 :
抽象初等范畴的Kim-Pillay定理。 1717-1741
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)