符号逻辑杂志,第49卷
1984年3月第49卷第1期
安德烈亚斯·鲍迪什 :
模块中的Magidor-Malitz量化器。 1-8 罗伯特·E·拜厄利 :
不变集的一些性质。 9-21 埃文格洛斯·克拉纳基斯 :
可定义分区中的逐步引理。 22-31 菲利普·罗思马勒 :
模块的一些模型理论。 三、 关于模中可定义集的无穷性。 32-46 弗雷德里克·布伦顿·菲奇 :
修正否定的定义。 47-50 沃尔夫冈·马斯 :
关于超超单集的轨道。 51-62 雅克·奇雄 :
关于一些布尔代数的紧性。 63-67 斯坦利·伯里斯 :
有限生成通用喇叭类的模型伴侣。 68-74 所罗门·费弗曼 :
走向有用的无类型理论。 一、。 75-111 朱利叶斯·巴巴内尔 , 卡洛斯·迪普里斯科 , It Beng Tan公司 :
无数次巨大和超大红雀。 112-122 本桥信孝 :
等式和林登插值定理。 123-128 D.米勒 , 杰弗里·伦梅尔 :
无处有效的简单集合。 129-136 曼努埃尔·勒曼 , 杰弗里·伦梅尔 :
通用拆分属性。 二、。 137-150 大卫·罗森塔尔 :
可分有序阿贝尔群的不可分阶。 151-160 亚历山大·凯克里斯 :
确定性公理意味着L(R)中的依赖选择。 161-173 雷蒙德·甘姆 :
具有等式的自由模态逻辑族的扩展联合一致性定理。 174-183 尤里·古雷维奇 , 哈里·刘易斯 :
带零的取消半群的单词问题。 184-191 尼古拉斯·古德曼 :
认识算术是直觉算术的保守延伸。 192-203 克里斯蒂安·霍特 , 霍斯特·奥斯瓦尔德 :
论高阶逻辑中的非标准模型。 204-219 伯托尔德·J·迈尔 :
三类存在闭无扭幂零群。 220-230 艾哈迈德·阿尔穆卡达 , 大卫·内尔森 :
可构建的虚假和不精确谓词。 231-233 詹姆斯·鲍姆加特纳 :
一般图形构造。 234-240 马特·考夫曼 :
omega上的过滤逻辑。 241-256 丹·维尔曼 :
简化的沼泽。 257-271 乔治·米尔斯 , 杰夫·B·巴黎 :
算术模型中的正则性。 272-280 凯·史密斯 :
交换正则环和布尔值域。 281-297 蒂姆·卡尔森 , 肯尼斯·库宁 , 阿诺德·米勒 :
欧米伽坍缩的最小程度 1 . 298-300 艾迪生 , 赫伯特·B·恩德顿 :
符号逻辑协会会议:伯克利,1983年。 322-326
1984年6月第49卷第2期
布拉尼斯拉夫·博里西奇 :
关于一些中间命题演算的注记。 329-333 阿诺·阿夫伦 :
相关蕴涵——语义和形式系统。 334-342 克里斯·弗雷林 :
巴纳赫游戏。 343-375 彼得·克洛特 :
Clopen-Ramsey定理的递归理论分析。 376-400 罗伯特·戈德布拉特 :
正交模块化不是初等的。 401-404 弗朗索瓦斯·德隆 :
Espaces Ultrametyques公司。 405-424 朱莉娅·奈特 , 阿利斯泰尔·拉克伦 , 罗伯特·索尔 :
真算术模型度的两个定理。 425-436 爱德华·格里弗 , 达格·诺曼 :
E(α)的可定义性。 437-442 本瑟姆 :
关于量词的问题。 443-466 安德烈亚斯·布拉斯 :
不存在确切的五个对象。 467-469 史蒂文·布奇勒 :
ω稳定理论模型的扩展。 470-477 保罗·班克斯顿 :
一阶拓扑中的表现力。 478-487 董平阳 :
关于将alpha-Recurive-Presentable格嵌入到0'以下的alpha-Rocurive-Degrees中。 488-502 巴里·库珀 :
偏度数和密度问题。 第二部分:西格玛的枚举度 2 集合密集。 503-513 列克·莫尔迪克 :
Heine-Borel并不意味着Fan定理。 514-519 M.J.克雷斯韦尔 :
不完全可判定模态逻辑。 520-527 罗德尼·G·唐尼 :
V中的共免疫子空间和互补。 528-538 罗纳德·瓦特罗 :
关于大基数无穷子集的划分。 539-541 詹姆斯·汉勒 :
Spector强制。 542-554 詹姆斯·汉勒 :
弱-强划分基数。 555-557 詹姆斯·鲍姆加特纳 , 詹姆斯·汉勒 :
无穷指数的无穷下标。 558-562 理查德·沃特尼克 :
有效有限递归线性序上Tennenbaum定理的推广。 563-569 帕维尔·普德拉克 , 安东·索科尔 :
替代集理论的模型。 570-585 克劳斯·安布罗斯·斯皮斯 :
非菱形定理在经典和α-演算理论中的推广。 586-607 沃德齐米尔兹·扎德罗兹尼 :
Jensen模型中的顺序可定义性。 608-620 莫里斯·博法 :
算术和类型理论。 621-624 Lou van den Dries公司 :
具有可定义Skolem函数的代数理论。 625-629 迈克尔·比森 , 安德烈·塞德洛夫 :
Church的论文、连续性和集合理论。 630-643 丹·萨拉奇诺 , 伍德女士 :
QE交换零。 644-651 小卡尔·G·约克什。 , 理查德·拉沃尔 , J.唐纳德·蒙克 , 简·迈基尔斯基 , 乔恩·皮尔斯 :
符号逻辑协会年会:丹佛,1983年。 674-682 E.卡萨里 , E.J.芬斯塔德 , G.罗利 , 朗高 , 安娜丽莎·马尔贾 , 德克·范·戴伦 :
符号逻辑协会会议:意大利佛罗伦萨,1982年。 683-710
第49卷第3期,1984年9月
吉恩·伊夫·吉拉德 , 杰奎琳·瓦泽利斯 :
函数和序数符号。 一: Veblen层次的函数构造。 713-729 简·M·史密斯 :
马丁·洛夫类型理论在无类型命题理论中的解释。 730-753 A.P.希勒 , J.津巴格·索布利尼奥 :
带有否定类型的自我引用。 754-773 道格拉斯·A·岑泽 :
单调可约性与无限集族。 774-782 斯蒂芬·辛普森 :
证明常微分方程的Cauchy/Peano定理需要哪些集合存在公理? 783-802 布鲁诺·波扎特 :
Deux Remarques a Proposs de la Propertie de Recouvrement Fini公司重新定价建议。 803-807 安倍义弘 :
强紧凑基数、基本嵌入和固定点。 808-812 安德烈·佩尔克 :
阿贝尔群上的理想。 813-817 詹姆斯·P·琼斯 , 尤里·马蒂亚塞维奇 :
可枚举集的指数丢番图表示定理的寄存器机证明。 818-829 艾伦·H·梅克尔 :
没有组合数学的强制。 830-832 克劳德·苏里森 :
卡帕-超滤器和具有可测量基数的内部模型的复杂性。 833-841 凯文·康普顿 :
有限组合数学中的一个不确定问题。 842-850 盖西·塔库蒂 , 佐藤·泰坦尼 :
直觉模糊逻辑和直觉模糊集理论。 851-866 格哈德·贾格尔 :
没有基础的可接受性的力量。 867-879 阿南德·皮莱 :
非多维欧米伽稳定理论中的正则类型。 880-891 维姆·鲁登堡 :
关于序列的周期(A n个 (p) )。 892-899 罗伯特·吉尔曼 :
特点简单 0 -分类组。 900-907 Gerrit van Der Hoeven先生 , 列克·莫尔迪克 :
关于由排列决定的选择序列。 908-916 罗伯特·梅耶 , 克里斯·莫滕森 :
相关算法的模型不一致。 917-929 史蒂文·布奇勒 :
奎克对超稳定理论的猜想。 930-934 阿诺·阿夫伦 :
关于具有算术解释的模态系统。 935-942 彼得·伍德拉夫 :
论自由逻辑中的监督。 943-950 科尼莉亚·卡尔法 :
强代数语言中的一些不确定性结果。 951-954 亨利克·科特拉斯基 :
关于Peano算法模型中初始段的一些注记。 955-960 胡安·卡洛斯·马丁内斯 :
无障碍集合和(L1) t吨 -T的等效性 三 共享空间。 961-967
1984年12月第49卷第4期
丹·维尔曼 :
具有线性极限的简化莫拉斯。 1001-1021 萨哈龙·谢拉 :
钻石,均匀化。 1022-1033 萨哈龙·谢拉 :
更多关于正确用力的内容。 1034-1038 C.沃德·亨森 , 马特·考夫曼 , H.杰罗姆·凯斯勒 :
非标准方法在算术中的优势。 1039-1058 阿拉斯代尔·厄克哈特 :
牵连的不确定性及其启示。 1059-1073 马塞尔·克拉贝 :
典型的歧义和选择公理。 1074-1078 吉恩·伊夫·吉拉德 , 杰奎琳·瓦泽利斯 :
函数和序数符号。 二: 巴赫曼层次的功能结构。 1079-1114 弗朗西斯·奥格 :
有限生成有限个by Abelian群的模型理论。 1115-1124 罗德尼·G·唐尼 , 杰弗里·伦梅尔 :
普遍互补性。 1125-1136 克里斯托弗·亚什 , 罗德尼·G·唐尼 :
可判定子空间和递归可枚举子空间。 1137-1145 罗德尼·G·唐尼 :
超最大子空间和斯坦尼茨系统的基础。 一、。 1146-1159 劳伦斯·V·韦尔奇 :
递归可枚举度族的层次结构。 1160-1170 詹姆斯·洛维斯 :
中信封的唯一性 0 -分类, 0 -稳定结构。 1171-1184 萨哈龙·谢拉 , W·休·伍丁 :
通过添加实数强制Ch失败。 1185-1189 埃伯哈德·赫尔曼 :
递归可枚举集格中的可定义结构。 1190-1197 彼得·科普克 :
ω自由子集性质的一致性强度 欧米茄 . 1198-1204 小卡尔·G·约克什。 , 理查德·肖尔 :
伪跳跃运算符。 二: 超有限迭代、层次和极小覆盖。 1205-1236 沃伦·戈德法布 :
具有同一性的哥德尔类的不可解性。 1237-1252 沃伦·戈德法布 , 尤里·古雷维奇 , 萨哈龙·谢拉 :
具有恒等式的极小哥德尔类的一个可判定子类。 1253-1261 本桥信孝 :
一阶公式的范式定理及其在Gaifman分裂定理中的应用。 1262-1267 詹姆斯·汉勒 , E.M.克莱伯格 , 罗纳德·沃特罗 :
关于超滤器和强分划基数的超幂。 1268-1272 拉梅斯·萨米 :
关于Sigma 1 1 有界秩Borel类的等价关系。 1273-1283 彼得·施罗德·海斯特 :
自然演绎的自然延伸。 1284-1300 哈罗德·霍德斯 :
有限水平Borel对策和一个关于跳跃层次的问题。 1301-1318 朱塞佩·隆戈 , 尤金尼奥·莫吉 :
高等类型中的遗传部分有效泛函和递归理论。 1319-1332 科尼莉亚·卡尔法 :
平凡语言中有限方程组的可判定性质。 1333-1338 德克·范·戴伦 :
如何粘合分析模型。 1339-1349 阿南德·皮莱 , 加布里埃尔·斯鲁尔 :
稳定理论中的闭集和链条件。 1350-1362 梅尔文配件 :
模态逻辑中的线性推理。 1363-1378 尤尔根·萨菲 :
类别和等级。 1379-1392 哈罗德·霍德斯 :
井身模态逻辑。 1393-1402 普里斯特 :
符号逻辑协会会议:珀斯,1983年。 1426-1429 泽维尔·凯塞多 , 罗兰多·丘奇 , 牛顿·C·A·达·科斯塔 , 卡洛斯·迪普里斯科 :
符号逻辑协会会议:委内瑞拉加拉加斯,1983年。 1430-1440 布鲁斯 , 西·弗里德曼(Sy D.Friedman) :
符号逻辑协会年会:1983年波士顿。 1441-1449