符号逻辑杂志,第67卷
第67卷第1期,2002年3月
朱朝晖 , 潘振华 , 陈师父 , 朱伍佳 :
估价结构。 1-23 奥利维尔·查普斯 , 埃尤德·赫鲁索夫斯基 , 帕斯卡·科伊兰 , 布鲁诺·波扎特 :
遗传课程理论的极限。 24-34 亚历山德拉·卡蓬 :
周期成本是平方。 35-60 布拉德·哈特 , 埃尤德·赫鲁索夫斯基 , 迈克尔·拉斯科夫斯基 :
分类理论中的独特分解。 61-68 斯特芬·伦普 , 安德烈亚·索比 :
将有限格嵌入Sigma 0 2 枚举度。 69-90 莫特扎·莫尼里 , 莫伊塔巴·莫尼里 :
HA的一些弱片段和某些闭包性质。 91-103 斯蒂芬·贝兰托尼 , 马丁·霍夫曼 :
一种新的“可行”算法。 104-116 S.T.斯特凡尼 :
部分形态范畴的代数方法。 117-129 大卫·阿斯佩罗 :
最大有界强迫公理。 130-142 奥马尔·德拉克鲁斯 , 埃里克·J·霍尔 , 保罗·霍华德 , 让·鲁宾 , 阿德里安·斯坦利 :
紧凑性和选择公理的定义。 143-161 Jean-Baptiste儒瓦内 , 哈罗德·谢林斯 , 洛伦佐·托托拉·德·法尔科 :
自由式LK的SN和CR tq(总质量) :线性装饰和标准化模拟。 162-196 罗宾·赫希 , 伊恩·霍德金森 , 罗杰·马杜克斯 :
柱代数的关系代数约简及其在证明理论中的应用。 197-213 桔梗宏高 , 撒哈拉沙拉 :
严格顺序属性和泛型自同构。 214-216 格雷戈里·切尔林 , 西蒙·托马斯 :
齐次图的两个基本性质。 217-220 罗宾·赫希 , 伊恩·霍德金森 , 阿尔格内斯·库鲁茨 :
关于K x K x K和S5 x S5 x S5.之间的模态逻辑。 221-234 米海普鲁内斯库 :
所有无穷阿贝尔群上P不等于NP的模型理论证明。 235-238 伊丽莎白·布斯卡伦 , 弗朗索瓦斯·德隆 :
可分离闭域中的极小群。 239-259 托马斯·斯特拉姆 :
元谓词Mahlo的排序证明。 260-278 阿诺德·贝克曼 :
在有界算法中证明方程理论的一致性。 279-296 海克·米登伯格 , 撒哈拉沙拉 :
g<cf(Sym(omega))的相对一致性。 297-314 毛罗·迪·纳索 :
数学中非标准方法的公理化表述。 315-325 马库斯·容克 , 英戈·克劳斯 :
等式分叉理论。 326-340 默里·A·马歇尔 :
序空间理论中的开放性问题。 341-352 马丁·邦德 :
交叉口类型系统的分类。 353-368 罗伯特·博内 , 马塔蒂亚胡·鲁宾 :
关于本质低级规范生成布尔代数。 369-396 拉里萨·马克西莫娃 :
正演算中插值的复杂性及相关问题。 397-408 彼得·乔拉克 , 罗德尼·G·唐尼 , 斯蒂芬·沃克 :
最大连续度。 409-437 克里斯托弗·李·米勒 , 帕特里克·斯皮塞格 :
指数O-极小结构上的Pfaffian微分方程。 438-448 托德·艾斯沃思 :
强制和稳定有序超滤器。 449-464 丹·威拉德 :
如何将第二不完全性定理的语义表和无切割版本几乎扩展到Robinson的算法Q。 465-496
第67卷第2期,2002年6月
约翰·托德·哈蒙德 :
递归可枚举集格上的同余关系。 497-504 威廉·P·R·米切尔 , 哈罗德·西蒙斯 :
线性公式的基于单体的语义。 505-527 叶鲁兰·穆斯塔芬 :
琼森博物馆(Quelques Propriés de Théories de Jonsson)。 528-536 伊斯坎德尔什卡利穆林 :
n-C.E.枚举度的拆分属性。 537-546 安德烈·诺维克 , 托马斯·韦斯 :
关于2的一些特殊子集的Ramseyan性质 欧米茄 及其代数和。 547-556 安东尼奥·马奎斯·费尔南德斯 , 费尔南多·费雷拉 :
薄弱分析的基础工作。 557-578 乌里·亚伯拉罕 , 撒哈拉沙拉 :
用梯子编码是一种很好的现实秩序。 579-597 米海普鲁内斯库 :
外部嵌入的同构:关于算术中的可定义性。 598-620 梅尔文配件 :
一阶S5的插值。 621-634 泽维尔·维多 :
乘法复合体与等效性。 635-648 凯文·沃尔德 :
关于可计算的可数集和低可数集的轨道。 649-678 拉塞尔·米勒 :
可定义不完全性和Friedberg分裂。 679-696 丹尼斯·赫施费尔特 :
delta存在下可计算结构关系的度谱 0 2 同构。 697-720 拉尔夫·迪特尔·辛德勒 , 约翰·R·斯蒂尔 , 马丁·泽曼 :
解构内部模型理论。 721-736 阿南德·皮莱 , 斯坎伦 :
具有Dop和其他属性的紧凑复杂流形。 737-743 恩里克·卡萨诺瓦斯 , 弗兰克·瓦格纳 :
局部超简单及其相关概念。 744-758 亚历山德拉·施拉彭托 :
特征为0的一些代数函数环的丢番图可定义性和可判定性。 759-786 亚历山德拉·什拉彭托克 :
广义弱陈述。 787-819 亚瑟·W·阿普特 , 乔尔·戴维·哈姆金斯 :
不可施工性和强压实与超压实之间的逐级协定。 820-840 迈克·普雷斯特 , 维拉·普宁斯卡娅 :
一些有限维代数上的少类型模。 841-858 L.R.加尔米纳斯 , 约翰·罗森塔尔 :
斯坦尼茨交换系统的更多不可判定格。 859-878 里卡多·卡梅洛 :
可数结构的递归同构关系。 879-895
第67卷第3期,2002年9月
大卫·M·埃文斯 , M.E.潘塔诺 :
Alef符号 0 -代数闭包任意快速增长的范畴结构。 897-909 阿南德·皮莱 , 马克·施拉特 :
关于置换群同构和范畴的一些结果。 910-914 亚瑟·W·阿普特 , 詹姆斯·加明斯 :
炸毁最小可测功率集。 915-923 西·弗里德曼(Sy D.Friedman) :
0 # 和内部模型。 924-932 (撤回) PDL有插值。 933-946 Jochen Koenigsmann公司 :
在函数字段中定义先验。 947-956 佐伊·查齐达基斯 :
无ω伪代数闭域中分叉的性质。 957-996 皮拉尔·德尔隆德 , 弗朗索瓦斯·德隆 , 弗朗索瓦兹角 :
可分闭域模理论1。 997-1015 齐夫·沙米 , 弗兰克·瓦格纳 :
论简单理论中的束缚群。 1016-1024 安德烈亚斯·鲍迪施 :
T。 1025-1038 吉安·阿尔多·安东内利 , 里士满·H·托马森 :
二阶命题多模逻辑中的可表示性。 1039-1054 吴国华 :
隔离和晶格嵌入。 1055-1064 雷蒙德·甘姆 :
部分术语的懒惰逻辑。 1065-1077 小卡尔·G·约克什。 , 塔玛拉·J·拉金斯 :
广义R-内聚性和算术层次:对“广义内聚性”的修正。 1078-1082 Wafik Boulos Lotfallah公司 :
有限模型理论中的强收敛性。 1083-1092 安德烈亚斯·布拉斯 , 尤里·古雷维奇 , 撒哈拉沙拉 :
无序结构上的多项式时间计算。 1093-1125 安娜丽莎·马尔贾 , 迈克·普雷斯特 , 卡洛·托法洛里 :
当R是Dedekind域,G是有限群时RG的Ziegler谱的无扭部分。 1126-1140 大卫·阿斯佩罗 , 菲利普·D·韦尔奇 :
有界Martin最大值、弱Erdös基数和psi 自动控制 . 1141-1152 克里斯蒂安·吕埃德 :
超有限依赖选择与欧米伽模型反射。 1153-1168 朱丽叶·肯尼迪 , 撒哈拉沙拉 :
关于正则约化积。 1169-1177 弗兰克·贝诺伊斯特 :
Rangs et Types de Rang Maximum Dans Les Corps Differentiellement Clos系列。 1178-1196 约翰·R·斯蒂尔 :
具有更多木制红雀的核心模型。 1197-1226 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 安德烈·莫罗佐夫 :
n图序列。 1227-1247
第67卷第4期,2002年12月
詹姆斯·施梅尔 :
Peano算法模型的自同构群。 1249-1264 詹姆斯·施梅尔 :
皮亚诺算法的一些高饱和模型。 1265-1273 马苏德·波尔马迪安 :
没有AC和Robinson理论的平滑类。 1274-1294 罗伯特·卢巴斯基 :
Ikp和朋友。 1295-1322 伊万·索斯科夫 , V.巴列娃 :
常规枚举。 1323-1343 保罗·拉森 :
迭代的唯一性定理。 1344-1350 格雷格·霍尔思 :
投影层次中的基数。 1351-1372 Teruyuki Yorioka公司 :
强测度零理想的余终结性。 1373-1384 罗曼·温塞尔 :
布尔序O-极小结构的小理论。 1385-1390 巴里·库珀 , 李昂生(Angsheng Li) :
分裂与不分裂,II:A Low 2 C.E.0’不可拆分的学位。 1391-1430 宫本忠太郎 :
关于迭代半真预序。 1431-1468 塔帕尼·海蒂宁 , 奥利维尔·莱斯曼 :
超稳定齐次模型的一类初等子模型的秩。 1469-1482 乔瓦娜·科尔西 :
量化模态逻辑的统一完备性定理。 1483-1510 石原哈吉 , 佐托鲁·吉田 :
建设性地看待空间D(R)的完备性。 1511-1519 格雷格·霍尔思 :
湍流的二分法定理。 1520-1540 克里斯蒂娜·塞尔纳达斯 , 乔·拉斯加 , 沃尔特·亚历山大·卡尼埃利 :
调制纤维和坍塌问题。 1541-1569 杰弗里·伯吉斯 , 格雷戈里·切尔林 :
Borovik-Poizat秩和稳定性。 1570-1578 罗德尼·G·唐尼 , 斯特芬·伦普 :
可枚举图灵度中的连续性和分布性.勘误。 1579-1580 伊泰·本·雅科夫 :
简单理论中的群结构和细菌。 1581-1600 卢多米尔·纽埃尔斯基 :
一些超简单理论中的模类型。 1601-1615 Jean-Marie狮子 :
Finitude Simple et Structures O-Minimales(有限性属性意味着O-Minimality)。 1616-1622 阿古斯廷·拉约 :
弗雷格的非官方算术。 1623-1638