《数学逻辑季刊》第56卷
第56卷第1期,2010年1月
亚瑟·W·阿普特 :
高度和逐级对等和不平等。 4-12 吉尔达·费雷拉 , 保罗·奥利瓦 :
受限的修改可实现性。 13-28 维克托·潘布奇安 :
有序几何中Pasch公理的形式。 29-34 埃夫格尼·瓦西里耶夫 :
关于伪线性和类属对。 35-41 年轻的裴俊 , Kyoung Ja Lee(李京杰) , 阿斯加尔·汗 :
软序半群。 42-50 利达·托克扎德 , 阿夫萨尼·阿哈德帕纳 :
超(Hyper) 中压 -超中的理想 中压 -代数。 51-62 里卡多·奥米达 :
标准集上的连通性和紧性。 63-66 芭芭拉·卡西玛 , 伊斯坎德尔什卡利穆林 :
度谱和免疫特性。 67-77 赛义德·穆罕默德·巴赫里 :
线性度量公式的Los型定理。 78-84 恩斯特·齐默尔曼 :
自然演绎中的完全Lambek微积分。 85-88 阿尔弗雷多·伯里扎 , 古兹曼(Inmaculada Perez de Guzmán) , 埃米利奥·穆尼奥斯·韦拉斯科 :
分析时态×模态逻辑公理化函数系统的完备性。 89-102 塔雷克·赛义德·艾哈迈德 :
这类多元代数具有超合并性质。 103-112
第56卷第2期,2010年3月
金德里奇·扎普莱塔尔 :
遍历迭代定理的应用。 116-125 佐菲亚·阿达莫维奇 , Leszek Aleksander Kolodziejczyk公司 :
关于Sigma的注释 1 有界算法的收集方案和片段。 126-130 哈维尔·古铁雷斯·加西亚 , 伊莱德·马尔登斯·佩雷斯 , 玛丽亚·安吉莉·德·普拉达·维森特 , 张德学 :
模糊伽罗瓦连接。 131-147 J.唐纳德·蒙克 :
布尔代数的特殊子代数。 148-158 费里西奥·姆韦西吉 , 约翰·肯尼斯·特鲁斯 :
可数的分类彩色线性顺序。 159-163 亚瑟·W·阿普特 :
Alef可以使用多少正常度量。 164-170 彼得·哈耶克 :
关于模糊逻辑中的见证模型III——见证哥德尔逻辑。 171-174 阿波罗尼乌斯·提斯卡 :
关于R和C算法的两个猜想。 175-184 霍斯特·赫利奇 , Eleftherios Tachtsis公司 :
Russell-sets的奇数分区。 185-190 道格拉斯·S·布里奇斯 , 马修·亨特拉斯 :
紧群上R的连续同态。 191-197 Ermek S.Nurkhaidarov公司 :
皮亚诺算法模型中的间隙和伪间隙。 198-204 琼·兰德·莫肖瓦基斯 :
构造分析中不可避免的顺序。 205-215 扬·克拉瑟夫斯基 , 罗伯特·罗洛夫斯基 , 什切帕尼亚克普热米斯劳 , 西蒙·泽伯斯基 :
伯恩斯坦集和 卡帕 -覆盖物。 216-224
第56卷第3期,2010年6月
Erez Shochat公司 :
PA可数短递归饱和模型的Galois对应。 228-238 弗朗索瓦点 :
存在闭序差分域和环。 239-256 Yuki Anbo(Yuki安波) , 池田光一郎 :
关于一般结构稳定谱的注记。 257-261 埃米尔·杰拉贝克 :
弱算术中的阿贝尔群和二次剩余。 262-278 安东尼奥·迪·诺拉 , Revaz Grigolia公司 , 卢卡·斯帕达 :
自由MV-代数的离散表示。 279-288 周向南 , 李庆国 :
布尔乘积 R(右) 0 -代数。 289-298 曼努埃尔·阿巴德 , 迭戈·尼古拉斯·卡斯塔尼奥 , J.帕特里西奥·迪亚斯·瓦雷拉 :
蕴涵代数的Zarisk型拓扑。 299-309 Siu-Ah Ng公司 :
莱维在一阶模型上进行处理。 310-322 托马斯·麦克劳林 :
Delta子结构晶格的一些观察 1 超动力。 323-330 贡萨洛·古铁雷斯 :
采埃孚超滤器关闭。 331-336
第56卷第4期,2010年8月
保罗·利帕里尼 :
更多关于ZFC中规则和可分解超滤器的内容。 340-374 乔瓦尼·居里 :
关于无点空间构造理论的一些特殊方面。 375-387 埃尔维·福尼尔 , 丹尼尔·加迪 , 安托万·金特里尼 , 马雷克·扎昂克 :
重言式与否定文字的含意。 388-396 撒哈拉沙拉 :
关于模平坦理想的长增链。 397-399 年轻的裴俊 , 闵素康 , Hee Sik Kim先生 :
超MV-代数中的新型超MV-导系统。 400-405 雅纳克·拉马克里希南 :
o-极小结构增长的统一界限。 406-408 琼·巴加利亚 , 弗拉基米尔·卡诺维 :
关于用实数编码不可数集。 409-424 雷纳托·A·勒温 , 艾琳·米肯伯格 :
文字次协调矩阵和文字次完全矩阵的一阶理论。 425-433 道格拉斯·S·布里奇斯 , 汉内斯·迪纳 :
反Specker性质、正性和总有界性。 434-441 桑德拉·马奎斯·平托 , M.特蕾莎·奥利维拉·马丁斯 :
次直接不可约可分动态代数。 442-448
第56卷第5期,2010年10月
奥利维尔·芬克尔 :
关于一些词典集 欧米茄 -权力是既定的。 452-460 菲利普·莫瑟 :
关于可计算Lebesgue可积函数的Fourier级数的收敛性。 461-469 贾纳克·罗摩克里希南 :
o-最小结构的最大小扩展。 470-474 Kyriakos Keremedis公司 :
ZF中紧空间的Tychonoff积和闭超滤。 475-487 阿诺·保利 :
关于连续可约性诱导的(半)格。 488-502 哈桑·斯富利 :
某些o-极小结构的可定义性和不可确定性结果。 503-507 Pavol Safarik公司 , 乌尔里希·科伦巴赫 :
关于Bolzano-Weierstra原理的计算内容。 508-532 鲁道夫·塔什内尔 :
构造数学中积分与极限的互换。 533-540 詹姆斯·施梅尔 :
逆向数学和图形的粗鲁着色。 541-548 查兹·施林德温 :
理解保存定理,II。 549-560
第56卷第6期,2010年12月
萨姆·桑德斯 :
相对算术。 564-572 塞缪尔·巴斯 , 艾伦·S·约翰逊 :
一阶逻辑中多项式大小迭代定义的量词复杂性。 573-590 杰米·加斯帕 , 保罗·奥利瓦 :
用真理证明解释。 591-610 安妮卡·坎科斯 :
Heyting算法在自然演绎中的一致性。 611-624 杰克·西雄 , Przemyslaw Szczepaniak公司 :
单位球的Hamel-同构图像。 625-630 劳伦斯·柯比 :
有限集理论的次标准模型。 631-642 阿列克谢·派恩科 :
关联局部有限拟变种的次拟变种。 643-658 蒂洛·韦内特 :
有界公理强制公理。 659-665 阿尔伯特·齐格勒 :
精炼等同于充实。 666-669