《纯粹逻辑与应用逻辑年鉴》第132卷
第132卷第1期,2005年2月
梅尔文配件 :
语义上的证明逻辑。 1-25 马克斯·迪克曼 , 默里·马歇尔 , 弗朗西斯科·米拉利亚 :
格序约化特殊群。 27-49 艾丽斯·勒布 :
(弱)Fan定理的等价物。 51-66 鲍里斯·齐尔伯 :
特征为零的代数闭域上的伪指数化。 67-95 鲁门·迪米特洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 安德烈·莫罗佐夫 :
可计算刚性可计算向量空间中的依赖关系。 97-108
第132卷,编号2-3,2005年3月
贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
关于lambda演算中可拓性的一些结果。 109-125 尼克·皮特菲尔德 , 鲍里斯·齐尔伯 :
分析Zariski结构和Hrushovski结构。 127-180 埃文·格里菲思 :
完全有丝分裂c.e.度和非跳跃反转。 181-207 罗伯特·卢巴斯基 :
围绕建设性ZF的独立性结果。 209-225 彼得·赫特林 :
可计算实数上的Banach-Mazur可计算但非Markov可计算函数。 227-246 罗曼·温塞尔 :
布尔代数的弱消元。 247-270 约格·布伦德尔 , Yatabe顺辅 :
强迫MAD家族坚不可摧。 271-312年 杰里·盖格曼 :
几何理论的稳定性。 313至326