符号逻辑杂志,第61卷
第61卷第1期,1996年3月
阿尔贝托·扎纳多 :
Brances上量化的分支时间逻辑:模态逻辑的观点。 1-39 格雷格·霍尔思 :
马丁·索洛瓦树的变种。 40-51 安德烈亚斯·魏尔曼 :
如何用局部预测性刻画可证明的总函数。 52-69 贾普·范·奥斯滕 :
关于Lifschitz可实现拓扑的两点评论。 70-79 托梅克·巴托斯津斯基 , 安德烈·罗斯拉诺夫斯基 , 萨哈龙·谢拉 :
添加一个随机实数。 80-90 列夫·贝克列米舍夫 :
算术理论扩展的双峰逻辑。 91-124 迈克尔·拉什扬 :
显式数学中的单调归纳定义。 125-146 马丁·奥托 :
带计数的定点逻辑的表达能力。 147-176 洛伦斯·哈贝森 , 哈伊姆·犹大 :
Mathias绝对性和Ramsey性质。 177-194 Sachio Hirokawa先生 :
P-W中alpha->alpha的证明。 195-211 达格·韦斯特斯特尔 :
自交换量词。 212-224 亚瑟·W·阿普特 :
Theta下方的AD和奇异红雀图案。 225-235 恩里克·卡萨诺瓦斯 , 拉斐尔·法雷 :
在不完全理论中省略类型。 236-245 马里恩·谢珀斯 :
勒贝斯克度量实线和无限对策的零子集。 246-249 亚当·格罗夫 , 约瑟夫·哈尔彭 , 科勒 :
渐近条件概率:非单值情况。 250-276 阿纳托利·赫利夫 :
通过可构造集的存在闭模型:有2个 阿勒夫 0 存在闭两两非元等价存在闭序群。 277-284 亨利克·科特拉斯基 :
罗瑟定理的补充。 285-292 菲利普·D·韦尔奇 :
核心模型中简单集的可数并。 293-312 托马斯·杰赫 , 撒哈拉沙拉 :
可能的pcf代数。 313-317 卢多米尔·纽埃尔斯基 :
关于原子集或饱和集。 318-333
第61卷第2期,1996年6月
罗斯·T·布雷迪 :
无分布相关逻辑的绅士化,I。 353-378 罗斯·T·布雷迪 :
无分布相关逻辑的绅士化,II。 379-401 罗斯·T·布雷迪 :
分布相关逻辑的Gentzenization。 402-420 迈克尔·扎克哈里亚舍夫 :
K4的标准公式,第二部分:有限子框架逻辑。 421-449 马西娅·格罗泽克 , 迈克尔·迈蒂利亚奥斯(Michael E.Mytilinaios) , 西奥多·斯拉曼 :
萨克斯密度定理与西格玛 2 -边界。 450-467 托马斯·格拉 :
显式数学中的幂集。 468-489 皮奈诺普·麦迪 :
集合理论自然主义。 490-514 帕特里克·塞吉尔斯基(Patrick Cégielski) , 尤里·马蒂亚塞维奇 , 丹尼斯·理查德 :
带可除法谓词的整数扩展中的可定义性和可判定性问题。 515-540 伊夫·拉丰 :
无指数二阶线性逻辑的不可判定性。 541-548 尤里·古雷维奇 , 撒哈拉沙拉 :
关于有限刚性结构。 549-562 奥利维尔·芬克尔 , Jean-Pierre Ressaire女士 :
拉伸。 563年至585年 弗拉基米尔·卡诺维 :
关于非标准Peano算术模型中的外部Scott代数。 586-607 威廉·C·珀迪 :
凹槽公式和可判定极限。 608-620 欧内斯特·希默林 , 约翰·R·斯蒂尔 :
驯服内部模型的精细结构。 621-639 道格拉斯·恩斯利 :
aleph上的自同构不变测度 0 -没有独立属性的范畴结构。 640-652 G.Y.Sher先生 :
塔斯基犯了“塔斯基的谬论”吗? 653-686
第61卷第3期,1996年9月
保罗·泰勒 :
直觉集和序数。 705-744 维姆·维尔德曼 , 弗兰克·瓦尔迪克 :
直觉主义模型理论的一些基本结果。 745-767 杰里米·阿维加德 :
论ATR之间的关系 0 和ID <欧米茄 . 768-779 马丁·吉尔克里斯特 , 撒哈拉沙拉 :
红雀上的恒等式小于aleph 欧米茄 . 780-787 利昂·霍斯顿 :
在认识算术中反思。 788-801 劳里·海拉 , 科科·洛斯托 , Jouko A.Väänänen :
广义量词的层次定理。 802-817 格哈德·贾格尔 , 托马斯·斯特拉姆 :
有序强度正归纳的一些理论 φΩ0 . 818-842 西尔维奥·吉拉尔迪 , 吉安卡洛·梅洛尼 :
关系变量集和部分变量集以及基本谓词逻辑。 843-872 阿兰·道 :
关于P(ω)的布尔子代数 1 )/ctble公司。 873-879 克劳斯·安布罗斯·斯皮斯 , 彼得·费耶尔 , 斯特芬·勒普 , 曼努埃尔·勒曼 :
递归可枚举弱真值表度和其他分布上半格的两个量词理论的可判定性。 880-905 格雷格·霍尔思 :
在aleph上 1 许多最小模型。 906-919 克劳德·拉弗拉姆 :
几个特殊的顺序超滤器。 920-927 何塞·伊奥维诺 :
Banach空间的Morley秩。 928-941 多梅尼科·赞比拉 :
关于多项式有界算术的注记。 942-966 安巴尔·乔杜里 , 詹姆斯·洛维斯 , Predrag Tanovic公司 :
非多维超稳定理论的一个可定义连续秩。 967-984 迈克尔·拉斯科夫斯基 , 劳拉·梅耶 :
具有少量子结构的稳定结构。 985-1005 娜塔莎·阿列奇纳 , 米歇尔·范·兰巴金 :
作为子结构逻辑的广义量化。 1006-1044
第61卷第4期,1996年12月
Dov M.Gabbay公司 :
纤维语义学与逻辑的编织,第1部分:模态逻辑与直觉逻辑。 1057年-1120年 弗朗索瓦斯·德隆 , 拉斐尔·法雷 :
几乎实闭域的一些模型理论。 1121-1152 何塞·卡洛斯·西富恩特斯 , 安东尼奥·马里奥·塞特 , 丹尼尔·蒙迪奇 :
初等逻辑中的柯西完备性。 1153-1157 库马贝(Masahiro Kumabe) :
算术度一致上界以下的最小互补。 1158-1192 格里戈里造币厂 :
Epsilong替换方法的强终止。 1193-1205 Shmuel Lifsches公司 , 萨哈龙·谢拉 :
树类中的一致化、选择函数和井序。 1206年-1227年 亚历山德罗·贝拉杜奇 , 玛格丽塔·奥特罗 :
正态开放归纳的递归非标准模型。 1228-1241 皮拉尔·德尔隆德 , 拉蒙·贾萨纳 :
无等式无限泛霍恩逻辑的几个特征定理。 1242-1260 撒哈拉沙拉 :
如果存在一个完全无λ的阿贝尔群,那么在λ中存在一个严格的λ-可分离群。 1261-1278 詹姆斯·洛维斯 , 普雷德拉格·塔诺维奇 :
允许有限编码的琐碎理论的可数模型。 1279-1286 阿比吉特·达斯古普塔 :
布尔运算、Borel集和Hausdorff问题。 1287-1304 迈克尔·拉斯科夫斯基 , 撒哈拉沙拉 :
强迫同构II。 1305-1320 罗斯·T·布雷迪 :
无收缩逻辑正规公式的简单正则化。 1321-1346 巴里·库珀 , 安德里亚·索比 :
不可限制的枚举度低于0' e(电子) . 1347-1363 威廉·C·卡尔霍恩 , 西奥多·斯拉曼 :
圆周率 2 0 枚举度不密集。 1364-1379 托马斯·杰赫 , 撒哈拉沙拉 :
关于可数闭完备布尔代数。 1380-1386