数学逻辑季刊,第55卷
第55卷第1期,2009年1月
冈特·富克斯 :
延森层次结构的继任者级别。 4-20 Shokoofeh Ghorbani公司 , 埃斯凡迪亚·埃斯拉米 , 阿巴斯·哈桑哈尼 :
关于超MV-代数的范畴。 21-30 弗雷德·里奇曼 :
直觉主义关于N中有界性的概念。 31-36 卡米洛·阿戈蒂 , 亚历山大·贝伦斯坦 :
希尔伯特空间用酉算子展开。 37-50 乔治·沃萨达基斯 :
范畴抽象代数逻辑:结构性、原代数性和对应性。 51-67 乔尔·戴维·哈姆金斯 :
高大的红衣主教。 68-86 安德烈·罗杰斯 :
将决策程序转化为争议。 87-104 魏尧 , 陆令霞 :
模糊偏序集上的模糊Galois连接。 105-112
第55卷第2期,2009年2月
奥拉夫·贝耶斯多夫 :
关于算术理论和命题证明系统之间的对应关系——综述。 116-137 阿吉·库鲁茨 :
带投影的弱结合关系代数。 138-153 内本孝子 :
Wadge类和二阶算术子系统的确定性。 154-176 莫特扎·莫尼里 , 穆斯塔法·扎雷 :
Kripke模型的保持定理。 177-184 萨蒂亚德夫·南达库马 :
构造维度的特征。 185-200 亨利克·科特拉斯基 , 康拉德·兹达诺夫斯基 :
关于安德烈亚斯·魏尔曼的问题。 201-211 内河一口(Naohi Eguchi) :
派生边界增长缓慢的字典路径顺序。 212-224
第55卷第3期,2009年6月
亚瑟·W·阿普特 :
不可破坏性和静止反射。 228-236 塔里克·赛义德·艾哈迈德 :
具有不可表示完备的可表示关系代数的一种简单构造。 237-244 Daria Spescha公司 , 托马斯·斯特拉姆 :
基本显式类型和多项式时间运算。 245-258 张嘉璐 , 陈全发 :
MV-代数的模糊拓扑表示。 259-270 亚瑟·W·阿普特 :
添加Cohen子集下的不可分解性和逐级等价。 271-279 塔雷克·赛义德·艾哈迈德 :
关于可表示柱代数中置换的注记。 280-287 塞尔吉奥·塞拉尼 , 莱昂纳多·曼纽尔·卡布勒 :
弱拟斯通代数。 288-298 保罗·拉森 , 撒哈拉沙拉 :
将平稳集从弱形式Choice中分离出来。 299-306 格雷西拉·多梅内克 , 赫克托·弗雷茨 , 克里斯蒂安·德·隆德 :
模态型正交模逻辑。 307-319 罗斯蒂斯拉夫·霍西克 , 佛朗科·蒙塔格纳 :
积分交换剩余链中的阿基米德类。 320-336
第55卷第4期,2009年8月
乔尔·乌克尔曼 , 亚恩·切瓦莱尔 , 乌尔·恩德里斯 , 杰罗姆·朗 :
通过加权目标表示效用函数。 341-361 伊迪丝·埃尔金德 , 莱斯利·安·戈德伯格 , 保罗·W·戈德堡 , 迈克尔·伍尔德里奇 :
边际贡献网的一个可追踪和表示类及其应用。 362-376 约拉姆·巴赫拉赫 , 迈克尔·扎克曼 , 杰弗里·罗森申 :
努力游戏与近视的代价。 377-396 伊迪丝·赫玛斯潘德拉 , A.Hemaspandra巷 , 约格·罗特 :
混合选举扩大了复杂性——理论上对控制的抵制。 397-424 加博尔·埃尔德莱伊 , 马库斯·诺瓦克 , 约格·罗斯 :
基于真诚战略偏好的支持投票完全抵制建设性控制,广泛抵制破坏性控制。 425-443 费利克斯·勃兰特 , 费利克斯·A·菲舍尔 , 保罗·哈伦斯坦 :
选择集的计算复杂性。 444-459 费利克斯·勃兰特 :
关于道格森投票规则的一些评论。 460-463
第55卷第5期,2009年10月
劳伦斯·彼得·贝卢斯 , 安东尼奥·迪·诺拉 :
理想形成MV-代数的交换环。 468-486 Marie-Hélène鼠 :
细胞分解 P(P) -最小字段数。 487-492 马雪玲 , 詹建明 , 年轻的裴俊 :
关于的(ELEMENT OF,ELEMENT OF OR q)-模糊滤波器 R(右) 0 -代数。 493-508 Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
V中的多项式和线性时间层次 0 . 509-514 若昂·拉斯加 , 沃尔特·亚历山大·卡尼埃利 , 克里斯蒂娜·塞尔纳达斯 :
通过平移进行插值。 515-534 尼古拉·埃夫斯塔蒂奥·索夫罗尼迪斯 :
变分法和描述性集合论。 535-538 莉亚娜·巴宾科斯托娃 :
关于选择性可分性的一些问题。 539-541 维多利亚·吉特曼 :
实数的适当和分段适当族。 542-550 米尔恰·丹·埃尔内斯 :
证明挖掘的轻单调辩证法。 551-561 格雷斯·派珀 :
上的wi-club过滤器 卡帕 λ . 562-568
第55卷第6期,2009年12月
马塞尔·欧内 :
布尔代数的有限性条件和分配律。 572-586 伊尔努尔·巴蒂尔申 :
非隔离准度。 587-597 马里奥·埃德蒙多 , Pantelis E.Eleftheriou公司 :
半有界o-极小结构中的可定义群扩张。 598-604 斯特凡诺·卡瓦琴托 :
命题逻辑在细胞自动机中的一些应用。 605-616 卡洛·托法洛里 , 凯瑟琳·沃佐里斯 :
局部o-极小性的注记。 617-632 安德烈·N·弗洛洛夫 , 马克西姆·祖布科夫 :
增加的 埃塔 -可代表的学位。 633-636 穆罕默德·阿尔德斯希尔 , 拉苏尔·拉美赞尼亚语 :
直觉数学中的可判定性和Specker序列。 637-648 阿尔沙姆·博鲁曼德·赛义德 , Somayeh Motamed公司 :
中的一些结果 BL公司 -代数。 649-658 罗伯特·罗洛夫斯基 :
关于大点族不可测结合的评论。 659-665 塔雷克·赛义德·艾哈迈德 :
关于柱代数的整洁嵌入。 666-668