符号逻辑杂志,第72卷
第72卷第1期,2007年3月
列夫·余(Lev Yu)。 戈尔斯基 , E.I.戈登 , C.沃德·亨森 :
拓扑代数系统的有限逼近。 1-25 阿诺德·贝克曼 , 诺伯特·普赖宁 :
线性克里普克框架和哥德尔逻辑。 26-44 克塞尼亚·西米奇 :
二阶算术子系统中的逐点遍历定理。 45-66岁 贾娜·玛丽科娃 :
o-极小结构中的类型定义群和不变群。 67至80 克里斯托弗·P·阿尔菲尔德 :
∏的梅德韦杰夫格中的非分枝度 0 1 类。 81-97 莱因哈德·马斯肯斯 :
类型理论的内涵模型。 98-118 埃尤德·赫鲁索夫斯基 , 亚亚科夫·彼得齐尔 :
范登·德里斯问题与利普希茨和罗宾逊定理; 并非一切都是标准的。 119-122年 帕维尔·赫鲁比斯 :
理论非常接近 PA公司 其中Kreisel的猜想是错误的。 123-137 保罗·拉森 :
非平稳理想 ℛ 最大值 扩展。 138-158 Jean-Baptiste儒瓦内 :
具有弱分配性的MLL证明网的完备性。 159-170 丹尼斯·赫施费尔特 , Richard A.肖尔 :
组合原理弱于配对的拉姆齐定理。 171-206 安德烈亚斯·鲍迪施 , 阿马多·马丁·皮萨罗 , 马丁·齐格勒 :
红色的田野。 207-225 撒哈拉沙拉 :
幂集模小,不可数余终值的奇异性。 226-242 乔治·贾帕里泽 :
交互式图灵约简的逻辑。 243-276 伊斯坎德Sh.Kalimullin :
(2p)-c.e和(2p+1)-c.e.枚举度之间的基本差异。 277-284 阿萨纳西奥斯·祖瓦拉斯 :
减少NF一致性问题。 285-304 芭芭拉·卡西玛 , 瓦伦蒂娜·哈里扎诺夫 , 丹尼斯·赫施费尔特 , 罗伯特·索尔 :
边界齐次模型。 305-323 瓦伦蒂娜·哈里扎诺夫 , 拉塞尔·G·米勒 :
结构和关系的光谱。 324-348 伯恩哈德·柯尼希 :
强制集理论公理的不可摧毁性。 349-360
第72卷第2期,2007年6月
卡米·梅里莫维奇 :
处处有固定有限间隙的幂函数。 361-417 埃尔维斯 :
有限结构的渐近类。 418-438 谢尔盖·阿尔特莫夫 , 罗莎莉·伊姆霍夫 :
证明的基本直觉逻辑。 439-451 MedYahya Ould MedSalem公司 , 田中和辅 :
Δ 0 三 -确定性、理解和归纳。 452-462 史蒂文·维克斯 :
正式拓扑中的子区域设置。 463-482 L.S.格林布拉特 :
关于不属于代数的集合。 483-500 拉斐尔·菲利浦 , 回收艾雷内乌斯 , 姆罗泽克·尼科德姆 , 彼得罗·苏卡 :
有界序列的理想收敛性。 501-512 陈一佳(音) , Jörg Flum公司 , 马丁·格罗 :
W的分析 * -层次结构。 513-534 弗兰兹·巴德 , 西尔维奥·吉拉尔迪 :
将许多分类的理论联系起来。 535-583 劳伦斯·彼得·贝卢斯 , 安东尼奥·迪·诺拉 :
MV-代数和逻辑中的简单结构。 584-600 本杰明·罗斯曼 :
有限结构上的后继变一阶逻辑。 601-618 Mihai Ganea公司 :
伯吉斯 光伏 是罗宾逊的 问 . 619-624 小泽正直 :
量子集合论中的转移原理。 625-648 扬·克拉伊切克 , 阿兰·斯凯利 , 尼尔·萨彭 :
有界算法低片段中的NP搜索问题。 649-672 罗宾·赫希 :
柱代数的关系代数约简和完全表示。 673-703 冈纳·威尔肯 :
序数对相似模式的赋值。 704-720
第72卷第3期,2007年9月
约翰·R·斯蒂尔 :
本地K c(c) 结构。 721-737 Kazushige Terui公司 :
哪些结构规则允许削减消除? 代数准则。 738-754 约翰·肯尼斯·特鲁斯 :
关于一般性和相互一般性的概念。 755-766 费德里科·德马奇 , 本诺·范登伯格 :
通过索引最终余代数定理建立非良基集模型。 767-791 西尔维娅·巴比纳 , 杜加尔·麦克弗森 :
同构关系结构的重建。 792-802 张荣(音) , 朱朝晖 :
等价优先模型的代数特征。 803-833 乔治·梅特卡夫 , 佛朗科·蒙塔格纳 :
子结构模糊逻辑。 834-864 乌里·亚伯拉罕 , 詹姆斯·加明斯 , 克利福德·D·史密斯 :
多色拉姆齐理论的一些结果。 865-896 托马斯·福斯特 :
Erdos-Rado别无选择。 897-900 朱莉娅·奈特 , 萨拉·米勒 , 迈克尔·范登·布姆 :
图灵可计算嵌入。 901-918 克利夫顿·F·埃利 , 阿尔夫·昂舒斯 :
以乐观的理论为特点。 919年至940年 帕维尔·赫鲁比斯 :
模态逻辑的下限。 941-958 埃米尔·杰拉贝克 :
有界算术中的近似计数。 959-993 乔治·库鲁西亚斯 , 大卫·梅金森 :
信念变化中的并行插值、分裂和相关性。 994-1002 奇泽姆 , 詹妮弗·丘布 , 瓦伦蒂娜·哈里扎诺夫 , 丹尼斯·赫施费尔特 , 小卡尔·G·约克什。 , 蒂莫西·麦克尼科尔 , 莎拉·平瑞 :
Π 1 0 关系的类和强度谱。 1003-1018 阿萨夫·哈森 , 埃尤德·赫鲁索夫斯基 :
强极小集中的DMP。 1019-1030 奇泽姆 , 朱莉娅·奈特 , 萨拉·米勒 :
可计算嵌入和强极小理论。 1031-1040年 巴哈迪尔·库萨诺夫 , 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
Kolmogorov复杂性在可计算模型理论中的应用。 1041-1054 芭芭拉·卡西玛 , 理查德·肖尔 :
设置时间可约性排序。 1055-1071 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于∑的一个注记 1 -最大模型。 1072-1078 亚历山德罗·贝拉杜奇 , 马里奥·埃德蒙多 , 玛格丽塔·奥特罗 :
勘误表:“o-极小拓扑的转移方法”。 1079-1080
第72卷第4期,2007年12月
约翰·克莱门斯 :
Borel自同构的分类。 1081-1092 詹妮弗·布朗 :
细胞性和伪树的结构。 1093-1107 Pantelis E.Eleftheriou公司 , 谢尔盖·斯塔琴科 :
有序除环上有序向量空间中可定义的群。 1108-1140 伊塔伊·本·雅科夫 , 布鲁诺·波扎特 :
逻辑积极基金。 1141-1162 Byunghan Kim先生 , 拉希姆·穆萨 :
稳定的可定义性和一般关系。 1163-1176 亚历山德罗·贝拉杜奇 :
O-极小谱、无穷小子群和上同调。 1177-1193 托比亚斯·哈格 :
QL公司( ℂ n个 )确定n。 1194-1196 瑞克·斯塔特曼 :
关于alpha转换的复杂性。 1197-1203年 乔瓦娜·科尔西 , 加布里埃尔·塔西 :
直觉主义逻辑摆脱了所有元规则。 1204-1218 志达庄 , 梁羽 :
图灵度中的最大链。 1219年-1227年 海克·米登伯格 :
下可能有无限多个近相干类 픲 < 픡. 1228-1238 亚历山大·拉兹博罗夫 :
标志代数。 1239-1282 莫尔·多龙 , 撒哈拉沙拉 :
可由无量词可定义操作构造的关系结构。 1283-1298 乔纳斯·雷茨 :
基本公理。 1299-1317 Shahram Mohsenipour公司 :
关于开放归纳子系统的注释。 1318-1322 雅各布·凯尔纳 , 马蒂·鲍纳 , 撒哈拉沙拉 :
赢得了下压比赛,但没有赢得巴纳赫-马祖。 1323-1335 约书亚·布雷什·奥彭海姆 , 托尼安·皮塔西 :
分辨率优化的复杂性。 1336-1352 史提芬·古克 , 扬·克拉切克 :
可证明性的后果 NP公司 ⊆ P/聚乙烯 . 1353-1371 理查德·凯切西德 , 保罗·拉森 , 金德里奇·扎普莱塔尔 :
增加δ 1 2 和Namba式强制。 1372-1378 道格拉斯·S·布里奇斯 , 汉内斯·迪纳 :
[0,1]的伪紧性等价于一致连续性定理。 1379-1384 詹姆斯·安德鲁斯 :
一种带有Y组合子的非类型化高阶逻辑。 1385-1404 托马斯·肯特 , 安德烈亚·索比 :
边界非分裂枚举度。 1405-1417 韦斯利·卡尔弗特 , 叶卡捷琳娜·福基纳 , 谢尔盖·冈查洛夫 , 朱莉娅·奈特 , 奥列格·库迪诺夫 , 安德烈·莫罗佐夫 , 瓦迪姆·普扎伦科 :
高秩结构类的索引集。 1418-1432