符号逻辑杂志,第62卷
第62卷第1期,1997年3月
菲利普·斯考克罗夫特 :
关于p-adic域中的Imaginaries的更多信息。 1-13 卢·范·德里斯 :
T-凸性与缓和延拓II。 14-34 金德里奇·扎普莱塔尔 :
不可计数红雀的分裂数。 35-42 彼得森 :
布尔代数超积上的基数函数。 43-59 帕特里克·西蒙内塔 :
Anneaux Partiels et Groupes的Une通信中心。 60-78 V.Yu。 沙夫鲁科夫 :
可对角化代数中的不可判定性。 79-116 道格拉斯·R·伯克 , Yo Matsubara先生 :
理想与组合原理。 117-122 弗朗索瓦斯·莫林 :
阶限于素数的整数乘法理论是可判定的。 123-130 弗兰克·沃尔特 :
与K4以上逻辑密切相关的时态逻辑的完备性和可判定性。 131-158 奥利维尔·查普斯 :
对于所有自由的Metabelian群。 159-174 马修·福尔曼 , 梅纳赫姆·马吉多 :
一个非常弱的平方原理。 175-196 Kyriakos Kontostathis公司 :
分裂定理的组合数学。 197-224 罗宾·赫希 , 伊恩·霍德金森 :
逐步-在代数逻辑中建立表示。 225-279 金德里奇·扎普莱塔尔 :
小Forcings和Cohen Reals。 280-284 刘念正 :
解析单元分解和p-adic半解析集的闭包。 285-303 安妮·维德 :
二阶存在Kahr-Moore-Wang句的渐近概率。 304-319
第62卷第2期,1997年6月
格雷格·赫约思 :
粗糙内模理论的一些应用。 337-365 琼·巴加利亚 :
马丁公理的绝对性表征。 366-372 乔尔·戴维·哈姆金斯 :
标准种子和Prikiry树。 373-396 史蒂文·莱昂哈迪 :
递归可枚举度中的广义不分裂。 397-437 大卫·平卡斯 :
稠密线性排序原理。 438-456 扬·克拉切克 :
插值定理,证明系统的下限,有界算法的独立性结果。 457-486 阿南德·皮莱 :
关于Galois上同调和可定义性的注记。 487-492 何塞·伊奥维诺 :
功能分析中的定义。 493-505 佐藤·泰坦尼 :
整体直觉集理论的完备性。 506-528 菲利普·克莱默 :
直觉逻辑中命题量化的复杂性。 529-544 乔治·戈特洛布 :
有限序结构上的相对对数空间和广义量词。 545-574 托马斯·斯特拉姆 :
显式数学中的多项式时间运算。 575-594 肯尼思·席林 , 博斯科·齐瓦列维奇 :
内部集的描述性集理论的Louveau定理。 595-607
莫舍·瓦尔迪 :
计算机科学逻辑专业选修课。 608 詹姆斯·林奇 :
无穷逻辑与极稀疏随机图。 609-623 乌苏拉·马丁 , 伊丽莎白·斯科特 :
一元项、字符串和多重集上终止排序的顺序类型。 624-635 巴利亚特·纳伦德兰 , 弗兰克·普芬宁 , 理查德·斯塔特曼 :
关于笛卡尔闭范畴的统一问题。 636-647 马蒂·彭特斯 :
无产品Lambek微积分和无上下文语法。 648-660 阿列克谢·普·斯托尔布什金 , 达米安·尼文斯基 :
y=2x vs.y=3x。 661-672
第62卷第3期,1997年9月
蒂埃里·科昆 :
形式拓扑中的极小不变空间。 689-698 杰里·阿达梅克 , 彼得·约翰斯通 , 约翰·马科斯基 , 吉里·罗西克 :
财务草图。 699-707 玛丽亚·路易莎·博内 , 托尼安·皮塔西 , 然·拉茨 :
小系数切割平面证明的下限。 708-728 萨宾·布罗达 , 路易斯·达马斯 :
组合逻辑中的紧凑括号抽象。 729-740 道格拉斯·R·伯克 :
普通过滤器的精密塔。 741-754 文森特·达诺斯 , Jean-Baptiste儒瓦内 , 哈罗德·谢林克斯 :
一种新的解构逻辑:线性逻辑。 755-807 Sy D.弗里德曼 :
无精细结构编码。 808-815 罗宾·赫希 , 伊恩·霍德金森 :
代数逻辑中的完全表示。 816-847 Shmuel Lifsches公司 , 撒哈拉沙拉 :
皮亚诺算法在线性秩序的一元理论中可能无法解释。 848-872 S.J.麦克莱什 :
可数齐次结构中前后映射的第四部分。 873-890 杰里·罗西克 :
可访问类别、饱和度和类别。 891-901 撒哈拉沙拉 , 西蒙·托马斯 :
无穷对称群的余终结谱。 902-916 米克洛斯·埃尔德利·萨博(Miklós Erdélyi-Szabó) :
Scott模型作为有序Q向量空间的可判定性。 917-924 艾伦·R·伍兹 :
计算有限模型。 925-949 迈克尔·扎克哈里亚舍夫 :
K4的标准公式,第三部分:有限模型性质。 950-975 马里恩·谢珀斯 :
罗斯伯格的财产和分割关系。 976-980 帕维尔·普德拉克 :
分辨率和切割平面证明以及单调计算的下限。 981-998 朱哈·奥科宁 :
L中kappa-Well-Orderings的不确定性 英菲卡帕 . 999-1020 埃里克·帕尔姆格伦 , 维戈·斯托尔滕贝格·汉森 :
连续函数的逻辑表示。 1021-1034
第62卷第4期,1997年12月
菲利普·克雷默 :
在命题量化S4中定义相关含义。 1057-1069 阿南德·皮莱 , Akito Tsuboi公司 :
保存aleph的混合物 0 -分类。 1070-1074 迪尔德雷·哈斯克尔 , 杜加尔·麦克弗森 :
p-adic的o-极小版本。 1075-1092 简·E·霍利 :
代数闭值域的可定义子集的原型。 1093-1141 格哈德·耶格尔 :
显式数学中的幂类型。 1142-1146 德克·范·戴伦 :
直觉主义连续体是如何联系的? 1147-1150 马丁·吉尔克里斯特 , 撒哈拉沙拉 :
ZFC+2的一致性 阿勒夫 0 >阿勒夫 欧米茄 +F(阿列夫 2 )=F(aleph 欧米茄 ). 1151-1160 诺亚·戈德林 :
P上的整个NS理想 伽马射线 µ可能很珍贵。 1161-1172 里卡多·比安科尼 :
实数域由指数函数和限制正弦函数展开的不可定义结果。 1173-1178 海克·米登伯格 :
非建设性Galois-Tukey连接。 1179-1186 桑杰·贾恩 , 艾伦·沙玛 :
学习内在复杂性的结构。 1187-1201 伊夫·拉丰 :
线性逻辑各种片段的有限模型性质。 1202-1208 安德烈亚·阿斯佩蒂 , 阿加塔·恰巴托尼 :
部分组合代数可完备的一个充分条件。 1209-1214 罗德尼·G·唐尼 , 斯特芬·伦普 :
可枚举图灵度中的连续性和分布性。 1215-1240 金仁灵 :
第二类切割、不良切割和非常不良切割。 1241-1252 马里恩·谢珀斯 , 威廉·韦斯 :
Gale游戏的变化(III):剩余策略。 1253-1264 约翰·贝尔 :
直觉主义类型理论中的Zorn引理和完备布尔代数。 1265-1279 亚历克西斯·贝斯 :
Büchi算法和Cobham-Semönov定理的不可判定推广。 1280-1296 安德烈·罗斯拉诺夫斯基 , 撒哈拉沙拉 :
简单强制概念和强制公理。 1297-1314 萨拉·内格里 , 西尔维奥·瓦伦蒂尼 :
形式拓扑框架中的Tychonoff定理。 1315-1332 弗拉基米尔·卡诺维 :
Solovay模型中等价关系的Ulm型分类定理。 1333-1351 艾瑞克·马丁 , 丹尼尔·奥斯森 :
基于信念修正的科学发现。 1352-1370 范恩·麦基 :
“在ZF的每个传递模型中都成立”的模态谓词逻辑的复杂性。 1371-1378 琼·巴加利亚 , W·休·伍丁 :
~三角洲 1 n个 Reals集合。 1379-1428 卡洛·托法洛里 :
群环上格的Wildness意味着格的不可判定性。 1429-1447 Ieke Moerdijk公司 , 埃里克·帕尔姆格伦 :
海廷算法的最小模型。 1448-1460 米歇尔·帕里格特 :
二阶经典自然演绎的强正规化证明。 1461-1479
![](https://dblp.org/img/cog.dark.24x24.png)