符号逻辑杂志,第73卷
第73卷第1期,2008年3月
维姆·维尔德曼 :
从Brouwer的直觉主义观点看Borel层次定理。 1-64 塔雷克·赛义德·艾哈迈德 , 哈尼尔·安德雷卡 , 伊斯特万·内梅蒂 :
省略有限变量片段的类型和代数的完整表示。 65-89 马塞尔·杰克逊 :
平面代数和通用霍恩逻辑到方程逻辑的转换。 90-128 迪特里希·库斯克 , 马库斯·洛伊 :
欧米伽自动结构的一阶和计数理论。 129-150 斯特凡·盖施克 , 撒哈拉沙拉 :
公开生成的布尔代数的数量。 151-164 塔帕尼·海蒂宁 , 奥利维尔·莱斯曼 :
优秀课程中的典范基础。 165-180 酒井浩史 :
半静态和静态反射。 181-192 詹姆斯·施默尔 :
子结构中的非多样性。 193-211 杰夫·B·巴黎 , 阿拉·西罗科夫斯基 :
打开 有限合伙人 -算法模型。 212-226 扬·克拉切克 :
基于有序二元决策图的约束传播证明系统的指数下界。 227-237 娜塔莎·多布林恩 :
kappa静止子集 卡帕 + lambda,无穷对策,布尔代数中的分配律。 238-260 J.唐纳德·蒙克 :
布尔代数中的最大无冗余和最大理想独立。 261-275 冈特·富克斯 :
封闭最大值原则:含义、分离和组合。 276-308 Keng Meng Ng公司 :
在非常高的温度下。 309-342 伊泰·内曼 , 欧内斯特·希默林 :
强制公理I的层次结构。 343-362 约翰·克莱门斯 :
弱尖树和部分注入。 363-368
第73卷第2期,2008年6月
约翰·R·斯蒂尔 :
按比例缩放 K(右) 在微弱差距的尽头。 369-390 西德维德·弗里德曼 , 菲利普·D·韦尔奇 , W·休·伍丁 :
关于内部模型假设的一致性强度。 391-400 伯纳德·安德森 :
雷亚尔 n个 -相对于一些完美的树来说是泛型的。 401-411 伊泰·尼曼 :
有限状态自动机与奇异基数的一元可定义性。 412-438 纪尧姆·瓦莱特 :
在可在o-minimal结构中定义的度量类型上。 439-447 文森特·阿斯蒂尔 :
等距关系是陪集的有限并的特殊群。 448-473 詹姆斯·格雷 :
在伽罗瓦群中编码完整理论。 474-491 Moti Gitik公司 :
急躁理想的一些病态例子。 492-511 娜塔莎·多布里宁 , 西德维德·弗里德曼 :
地面模型的内部一致性和全球共同平稳性。 512-521 伊泰·内曼 :
强制公理的层次结构2。 522-542 塞巴斯蒂安·特维恩 :
关于梅德韦杰夫格子的结构。 543-558 乔治·巴姆帕利亚斯 , 安德鲁·刘易斯 , 玛丽亚·伊万诺瓦·索斯科娃 :
随机性、低度和度。 559-577 Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
弱鸽子洞原理失效的模型中的多项式和线性层次。 578-592 布鲁诺·杜兰德 , 列奥尼德·莱文 , 亚历山大·沈 :
复杂的瓷砖。 593-613 冈特·富克斯 , 乔尔·戴维·哈姆金斯 :
通过在L。 614-633 巴里·库珀 , 玛丽亚·伊万诺瓦·索斯科娃 :
枚举可约性如何产生扩展Harrington非分裂。 634-655 亚历克谢·米亚斯尼科夫 , 亚历山大·赖巴洛夫 :
不可判定问题的一般复杂性。 656-673 路易斯·佩雷拉 :
PCF猜想和大基数。 674-688 克里斯·艾彭斯 , 萨姆·桑德斯 :
转让和ERNA的最高原则。 689-710 米罗斯拉夫·雷皮克 :
基数不变量和萨克斯强迫下连续体的崩溃。 711-727
第73卷第3期,2008年9月
皮埃尔·马特 :
P的弱方括号关系 卡帕 (λ)。 729-751 Hiroaki Minami公司 :
苏斯林强迫和参数化金刚石原理。 752-764 约翰·鲍德温 , 撒哈拉沙拉 :
非局部性示例。 765-782 亚历山大·拉比诺维奇 , 阿米特·肖姆拉特 :
可数序数的一元理论中的选择。 783-816 朱丽叶·肯尼迪 , 撒哈拉沙拉 , Jouko A.Väänänen :
正则超滤子和有限平方原理。 817-823 弗雷德里克·恩格斯特罗姆 :
关于标准系统和超滤器的注释。 824-830 西德维德·弗里德曼 , 凯瑟琳·汤普森 :
嵌入复杂性的内部一致性。 831-844 维多利亚·吉特曼 :
斯科特的正确斯科特集问题。 845-860 马库斯·容克 , 马丁·齐格勒 :
(Q,<,a)的116个约化。 861-884 克里斯·康尼迪斯 :
对模型理论属性进行分类。 885-905 Sy David Friedman , 凯瑟琳·汤普森 :
完美的树和基本的嵌入。 906-918 莫滕·海因·瑟伦森 , 巴维尔·乌尔兹琴 :
使用Klop的iota-translation和永续约简在序列微积分中实现强消去。 919-932 约瑟夫·伯杰 :
弱König引理与一致连续性。 933-939 伊恩·霍德金森 , 阿尔塔夫·侯赛因 :
仿射平面的模态逻辑不是有限公理化的。 940-952 阿尔宾·L·琼斯 :
关于Szemerédi的结果。 953-956 Fares Maalouf公司 :
建筑群dans les结构C-minimales。 957-968 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
论建构主义理论中的Skolemization。 969-998 约翰·富兰克林(Johanna N.Y.Franklin) :
超免疫自由度和Schnorr平凡。 999-1008 卡伦·M·兰格 :
齐次模型的度谱。 1009-1028 贾斯汀·塔奇·摩尔 :
Aronszajn线和俱乐部过滤器。 1029-1035 伊曼纽尔·哈卢普佐克 :
动机与前循环伽罗瓦集团完美的PAC领域。 1036-1050 史蒂文·佩伦 :
研究量化命题演算的片段。 1051-1080 阿尔伯特·维瑟 :
建构理论的可证明逻辑的封闭碎片。 1081-1096
第73卷第4期,2008年12月
肯尼思·哈里斯 :
eta-集合和度的表示。 1097-1121 丹尼尔·塞维恩 :
一元基元递归函数。 1122-1138 本杰明·米勒 :
可测量的色数。 1139-1157 巴特·卡斯特曼斯 , 法利斯·斯特普兰斯 , 张毅(音) :
几乎不相交函数的分析和协同分析族。 1158-1172 马西耶·马利基 :
波兰团体的一个例子。 1173-1178 布鲁诺·波扎特 :
复合体的定义是多聚体的计算方法。 1179-1201 安德烈·斯塔罗索尔斯基 :
β-ω的P-层次结构。 1202-1214 托马斯·约翰斯通 :
强大的可展开红衣主教使其坚不可摧。 1215-1248 Kazimierz Swirydowicz公司 :
相关逻辑存在一组不可数的表前扩展 R(右) 这个集合的每个逻辑都是由各种有限高度生成的。 1249-1270 格雷格·霍尔思 :
高度不自由的Borel等价关系。 1271-1277 博阿兹·察班 , 吕博米尔·兹多姆斯基 :
实集和半滤子三分法的组合图像。 1278-1288 大卫·米洛维奇 :
分裂家族和Noetherian型β-ω。 1289-1306 詹姆斯·加明斯 , 西德维德·弗里德曼 :
关于单数基数。 1307-1314 查尔斯·麦卡蒂 :
直觉逻辑的完备性和不完备性。 1315-1327 苏高 , 迈克尔·雷·奥利弗 :
商布尔代数之间同构的Borel复杂性。 1328-1340 斯蒂芬·宾斯 :
圆周率 0 1 具有复杂元素的类。 1341-1353 石原哈吉 , 彼特·舒斯特 :
连续性原理、Baire定理的一个版本和有界性原理。 1354-1360 迪玛·辛纳波娃 :
一个很好的比例和一个坏的比例的模型。 1361-1372 雷切尔·爱泼斯坦 :
可计算可枚举度的素数模型。 1373-1388 帕维尔·普德拉克 :
有界算术的片断和证明的长度。 1389-1406 罗兰·什·奥马纳泽 , 安德烈亚·索比 :
三角洲的特征 0 2 超免疫组。 1407-1415 米尔娜·扎蒙加 , 格里戈兹·普莱班克 :
布尔代数上的严格正测度。 1416-1432 米洛斯·库里奇 , 鲍里斯·索博特 :
力量压倒性游戏。 1433-1457