符号逻辑杂志,第81卷
第81卷第1期,2016年3月
托马斯·布洛西耶 , 阿马多·马丁·皮萨罗 , 弗兰克·瓦格纳 :
成为Tore Perdu的一员。 1-31 吉安卢卡·保里尼 , Jouko Väänänen :
预几何中的依赖逻辑和 ω -稳定理论。 32-55 列文·海卡济安 :
拟极小预几何类中的范畴。 56-64 约书亚·维斯科斯 :
莫利集团排名第4。 65-79 穆什菲克·汗 :
勒贝格密度和∏ 1 0 课程。 80-95 塞德里克·米利特 :
Aldama和Shelah的变奏曲。 96-126 安东尼奥·蒙塔尔班 :
没有中间同构问题的结构类。 127-150 迈克尔·利伯曼 , 杰里·罗西克 :
无障碍类别的分类理论。 151-165 安德烈亚·梅迪尼 :
可分度量空间中完美集性质的判别。 166-180 保罗·加齐德 , 安娜·马马特拉什维利 :
可分度量空间紧子集上的Tukey序。 181-200 凯文·福尼尔 :
共同分析集差异的Wadge层次结构。 201-215 伊塔伊·本·雅科夫 , 阿德里安·凯秋 :
可分类别度量结构的重构。 216-224 丹梅·伊南达尔 , 贝内迪克特·勒韦 :
内部模型的模态逻辑。 225-236 娜塔莎·多布林恩 :
非P点Tukey结构中的高维Ellentuck空间和初始链。 237-263 肖恩·考克斯 , 约翰·克鲁格 :
强真力的商与猜想模型。 264-283 古拉姆·贝扎尼什维利 , 尼克·贝扎尼什维利 , 罗莎莉·伊姆霍夫 :
稳定的规范规则。 284-315 赫里斯托·甘切夫 , 安德烈亚·索比 :
∑的初始分段 2 0 枚举度。 316-325 Krzysztof Krupinski先生 , 托马斯·雷佩基 :
有界不变等价关系的光滑性。 326-356 塞巴斯蒂安·瓦西 :
Tame AECS的分叉和超级能力。 357-383 Eleftherios Tachtsis公司 :
关于Ramsey定理和无限偏序集中无限链或无限反链的存在性。 384-394
第81卷第2期,2016年6月
西德维德·弗里德曼 :
HYP上的同构。 395-399 西尔维·安斯科姆 , 弗兰兹·维克托·库尔曼 :
关于极值和缓和值字段的注释。 400-416 雨果·阿伯克基 , Josep Maria字体 , 拉蒙·贾萨纳 :
抽象代数逻辑中的相容算子。 417-462 叶卡捷琳娜·福基纳 , 巴哈迪尔·库萨诺夫 , 帕维尔·塞穆金 , 丹尼尔·图雷茨基 :
线性次序由C.E.等价关系实现。 463-482 乔治·文丘里 :
苏斯林树木保护和周边条件。 483-492 奥马尔·莱昂·桑切斯 , 拉希姆·穆萨 :
微分场与自由算子的模型伴侣。 493-509 彼得·科瓦尔斯基 , 谢尔盖·兰德里安博洛洛纳 :
值域的强极小约简。 510-523 卡雷尔·奇瓦洛夫斯克 , 罗斯蒂斯拉夫·霍西克 :
带收缩的完全Lambek演算是不确定的。 524-540 詹姆斯·加明斯 , 米尔娜·扎蒙加 , 查尔斯·摩根 :
ℵ上的图的小泛族 ω + 1 . 541-569 阿列克谢·科列斯尼科夫 , 克里斯·兰比·汉森 :
用于合并着色类的Hanf数。 570-583 琼·巴加利亚 , Jouko Väänänen :
论大红雀的模型理论和集合理论特性之间的共生。 584-604 肖恩沃·尔什 :
弗雷格的片段 格兰杰塞茨 和哥德尔的可建构宇宙。 605-628 罗伯托·朱蒂尼 , 赫克托·弗雷茨 , 朱塞佩·塞尔吉奥利 :
与模正交晶格的有限维区间相关的量子逻辑。 629-640 西尔万·施密茨 :
隐含关联逻辑是2-EXPTIME-Complete。 641-661 雅各布·希尔顿 :
序数的拓扑鸽子洞原理。 662-686 詹姆斯·艾森伯格 , 玛丽亚·路易莎·博内 , 萨姆·巴斯 :
集合迹上Frankl定理的拟多项式大小Frege证明。 687-710 丹·海瑟薇 :
弱分布性意味着分布性。 711-717 安努什·泽鲁尼扬(Anush Tserunyan) :
半群上的一个Ramsey定理和一个一般的van der Corput引理。 718-741 迈克尔·拉什扬 :
半直觉主义集合论中的不确定性:关于费费曼的一个猜想。 742-754 克里斯托弗·伊格尔 , 伊利亚斯·法拉 , 布拉德·哈特 , 鲍里斯·卡德茨 , 弗拉迪斯拉夫·卡拉什尼克 , 马蒂诺·卢皮尼 :
C*-代数的Fraíssé极限。 755-773 佐菲亚·阿达莫维奇 , 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
算术框架下的存在闭模型。 774-788
第81卷第3期,2016年9月
门罗·埃斯奎 :
稠密理想和基数运算。 789-813 朱莉娅·奈特 , 安东尼奥·蒙塔尔班 , 诺亚·戴维·施韦伯 :
泛型扩展中的可计算结构。 814-832 伊恩·赫伯特 :
关于Δ 2 0 -有限的复杂性和压缩能力。 833-855 赛义德·加西米 :
度量结构的约化积:度量Feferman-Vaugh定理。 856-875 马西耶·马利基 :
齐次度量结构的AMPLE泛型和自同构群存在的结果。 876-886 Jizhan Hong公司 :
可分离闭值字段:量词消除。 887-900 Leszek Aleksander Kolodziejczyk公司 :
从复杂性理论包含的弱算术模型的端点扩展。 901-916 德米特里·苏斯特雷托夫 :
广义想象与伽罗瓦上同调。 917-935 安德烈亚斯·鲍迪什 :
自由合并和自同构群。 936-947 马塞尔·克拉贝 :
NF3中不包括Nfsi。 948-950 纳达夫·迈尔 :
论基本不可分结构的乘积。 951-971 冈特·富克斯 , 拉尔夫·辛德勒 :
内部模型理论地质学。 972-996 乌里·安德鲁斯 , 蔡明忠 , 伊斯坎德尔什卡利穆林 , 斯特芬·伦普 , 约瑟夫·米勒 , 安东尼奥·蒙塔尔班 :
度的下锥的补足和结构的度谱。 997-1006 菲利普·海罗尼米 :
实数的有序可加群由两个离散子群展开。 1007-1027 丹尼斯·赫施费尔特 , 小卡尔·G·约克什。 , 罗格·库珀 , 保罗·舒普 :
粗约简性和算法随机性。 1028-1046 西德维德·弗里德曼 , 拉德克·洪齐克(Radek Honzik) :
外部模型中满意度的定义。 1047-1068 查尔斯·品特 :
圆柱代数的Stone空间和拓扑模型空间。 1069-1086 曼纽尔·博德斯基 , 杜加尔·麦克弗森 :
结构约简与极大闭置换群。 1087-1114 格雷戈里·伊古萨 , 朱莉娅·奈特 :
比较Reals的两个版本。 1115-1123 巴勃罗·库比德斯·科瓦茨 , 伊娃·伦克内特 :
P-极小结构中的积分和单元分解。 1124-1141 约翰·鲍德温 , 迈克尔·C·拉斯科夫斯基 , 萨哈龙·谢拉 :
在ℵ1中构建了许多原子模型。 1142-1162 菊地真 , 仓桥泰史 :
皮亚诺算法的幻觉模型。 1163-1175
第81卷第4期,2016年12月
史蒂夫·杰克逊 , 法里德·卡菲佐夫 :
$\delta _5^1$以下的说明和注意事项。 1177-1224 罗素·G·米勒 , Keng Meng Ng公司 :
等价关系的金融可约性。 1225-1254 曼纽尔·博德斯基 , 彼得·琼森 , Van Trung Pham公司 :
齐次二元分支C-关系的约化。 1255-1297 弗兰克·瓦格纳 :
观察正交集的直角。 1298-1314 马修·亨特拉斯 , 罗伯特·卢巴斯基 :
分离Wlem、LPO和MP片段。 1315-1343 穆罕默德·戈尔沙尼 , 耶尔·哈尤特 :
论福尔曼的最大化原则。 1344-1356 亚当·戴伊 :
关于两个递归定理的强度。 1357-1374 乌里·安德鲁斯 , 安德烈亚·索比 :
可计算可枚举等价关系类的索引集的复杂性。 1375-1395 杰拉尔德·E·萨克斯 :
关于l的不可数性。 1396-1404 达米尔·德扎法罗夫 :
组合原理之间的强约简。 1405-1431 迪玛·辛纳波娃 , 斯宾塞·昂格 :
修改了基于扩展器的强制。 1432-1443 塞德里克·米利特 :
关于不具有独立性的群的根。 1444-1450 亚历山大·波罗维克 , 阿德里安·德罗罗 :
排名3宾果。 1451-1480 卢多维奇·帕蒂 :
反向数学中树对定理的强度。 1481-1499 彼得·霍利 , 雷古拉·克拉普夫 , 菲利普·吕克 , 安娜·恩杰戈米尔 , 菲利普·施利希特 :
类强制、强制定理和布尔补全。 1500-1530 王伟(音译) :
组合原理的可定义性强度。 1531-1554 毛罗·迪·纳索 , 艾萨克·戈德布林 , 金仁灵 , 史蒂文·莱思 , 马蒂诺·卢皮尼 , 卡尔·马尔堡 :
可修群中乘积集的高密度分段一致性。 1555-1562