符号逻辑杂志,第68卷
第68卷第1期,2003年3月
托马斯·福斯特 :
ZF+“每个集合都与一个基础良好的集合大小相同”。 1-4 安德烈亚斯·魏尔曼 :
图形枚举在PA*中的应用。 5-16 列夫·D·别克拉米舍夫 :
关于可判定谓词的归纳模式。 17-34 罗曼·温塞尔 :
布尔有序o-极小结构中的可定义集合。 二、。 35-51 沙米尔·伊什穆哈梅托夫 :
关于库珀和爱泼斯坦的问题。 52-64 安德烈亚斯·布拉斯 , 尤里·古雷维奇 :
无选择多项式时间的强扩张公理和Shelah的零定律。 65-131 Katalin Bimbó :
对偶组合逻辑中的Church-Rosser性质。 132-152 Raf Cluckers公司 :
Presburger集和p-极小域。 153-162 Mamoru Kaneko先生 , 铃木信步 :
游戏中浅层和决策的认识模型:园艺。 163-186 雅克·杜帕克 :
序值Borel映射的Steel层次结构。 187-234 皮埃尔·马特 , 贾努斯·鲍利科夫斯基(Janusz Pawlikowski) :
理想的Q-点、P-点和弱性。 235-261 帕努·拉提凯宁 :
一些强不可判定的自然算术问题,以及对直觉理论的应用。 262-266 史蒂文·吉万特 :
几何关系代数的不等价表示。 267-310 马丁·齐格勒 :
具有Hasse导数的可分离闭域。 311-318 本尼迪克特 , H.杰罗姆·凯斯勒 :
半线性集的谓词可定义性。 319-351
第68卷第2期,2003年6月
帕斯卡·科伊兰 :
刘维尔函数理论。 353-365 米尔娜·扎蒙加 , 撒哈拉沙拉 :
单数基数的后继通用图。 366-388 M.C.斯坦利 :
外部模型和通用性。 389-418 乔治·戈瓜泽 , 卡拉广场 , Yde Venema公司 :
用一元模态逻辑模拟多元模态逻辑。 419-462 帕特里克·布莱克本 , 马尔滕·马克思 :
混合逻辑中的构造插值。 463-480 威廉·J·米切尔 :
带有近似Easton因子分解的Gitik迭代。 481-502 Lou van den Dries公司 , A.J.威尔基 :
整数可分性定律,以及线性可分性条件的解集。 503-526 乔尔·戴维·哈姆金斯 :
一个简单的最大值原则。 527-550 罗德尼·G·唐尼 , 杰弗里·拉福特 , 理查德·肖尔 :
可计算可枚举度中的分解和中缀。 551-579 西·弗里德曼(Sy D.Friedman) , 塔帕尼·海蒂宁 , 米卡·拉乌特拉 :
分类理论和0 # . 580-588 吉野康夫 :
偏序集上的可接近性和游戏。 589-606 Yde Venema公司 :
无原子品种。 607-614 唐纳德·马丁 , 伊泰·内曼 , 马可·弗沃特 :
布莱克威尔确定性的力量。 615-636 詹姆斯·加明斯 , 马修·福尔曼 , 梅纳希姆·马吉多 :
正方形的非紧性。 637-643 托马斯·布洛西耶 :
平凡强极小结构的自同构群。 644-668 亚瑟·W·阿普特 , 乔尔·戴维·哈姆金斯 :
精确控制非超紧强紧基数。 669-688 菲利普·D·韦尔奇 :
关于修订操作员。 689-711
第68卷第3期,2003年9月
奥利弗·德塞 , 迪特尔·唐德 :
规范函数、非正则超滤子和欧米加上的Ulam问题 1 . 713-739 科斯塔·多森 , 佐兰·佩特里克 :
证明的一般性及其Brauerian表示。 740-750 威廉·泰特 :
Heyting一阶逻辑的完整性。 751-763 克里斯托弗·巴尼 :
超滤自然数。 764-784 亚历山德罗·贝拉杜奇 , 玛格丽塔·奥特罗 :
o-最小拓扑的传输方法。 785-794 道格拉斯·S·布里奇斯 , Luminita Vêta(发光菌) :
一致空间理论中的一种证明技术。 795-802 约翰·鲍德温 :
几何图形的扩展。 803-827 罗兰·希尼翁 , 蒂埃里·利伯特 :
积极抽象和外延。 828-836 约翰·克鲁格 :
胖集和饱和理想。 837-845 伊泰·本·雅科夫 :
超想象独立理论的令人沮丧的结果。 846-850 中泽浩二 , Makoto Tatsuta公司 :
二阶经典自然演绎的CPS-翻译强正规化证明。 851-859 亚历山德拉·施拉彭托 :
存在可定义性与阿基米德估值的界限。 860-878 托马斯·福斯特 , 约翰·肯尼斯·特鲁斯 :
有序发电机组的非well-foundness。 879-884 乔治·巴姆帕利亚斯 :
可计算近似实数的近似结构。 885-922 大卫·皮尔斯 :
微分场模型理论中的微分形式。 923-945 马克斯·迪克曼 , 弗朗西斯科·米拉利亚 :
布尔壳和约化商函子的基本性质。 946-971 王勇(音) , 李昂生(Angsheng Li) :
图灵加杯学位的层次结构。 972-988 安东尼奥·蒙塔尔班 :
将跳跃上半格嵌入到图灵度中。 989-1014 琼·兰德·莫肖瓦基斯 :
扩展直觉主义分析中的经典层次和构造层次。 1015-1043 彼得·乔拉克 , 利奥·哈林顿 :
可计算可枚举集的分裂的同构。 1044-1064
第68卷第4期,2003年12月
Sy D.弗里德曼 , 拉尔夫·辛德勒 :
普遍Baire集合和实数的可定义的良序。 1065-1081 克里斯·波列特 :
Log-Space和NLIN与coNLIN的理论。 1082-1090 安德烈亚·坎蒂尼 :
选择和组合逻辑的公理。 1091-1108 蒂莫西·卡尔森 :
排序的部分结构。 1109-1144 亚历山大·贝伦斯坦 :
简单稳定的齐次群。 1145-1162 Sy D.弗里德曼 :
保留基数的扩展。 1163-1170 詹姆斯·施默尔 :
对大型向量空间进行分区。 1171-1180 迈克尔·拉斯科夫斯基 :
科钦定理的应用。 1181-1188 M.Giraudet先生 , 约翰·肯尼斯·特鲁斯 :
从自同构群的商中恢复有序结构。 1189-1198 丹尼斯·赫施费尔特 , 巴哈迪尔·库萨诺夫 , 理查德·肖尔 :
一种可计算的范畴结构,其常数的展开具有无限的可计算维数。 1199-1241 帕维尔·普德拉克 :
平行战略。 1242-1250 托马斯·福斯特 :
有限到一地图。 1251-1253 托梅克·巴托斯津斯基 , 撒哈拉沙拉 , 博阿兹·察班 :
拓扑对角化的可加性。 1254-1260 Teruyuki Yorioka公司 :
区分(Ω)/翅片中的间隙类型。 1261-1276 雷内·戴维 , 卡里姆·努尔 :
经典自然演绎与析取的强正规化的简短证明。 1277-1288 吉尔斯·道克 , 本杰明·沃纳 :
证明标准化模。 1289-1316 奥利维尔·莱斯曼 :
类别和优等班U级。 1317-1336 萨尔瓦多·加西亚·费雷拉 , 迈克尔·赫鲁萨克 :
订购MAD系列la Katetov。 1337-1353 约格·布伦德尔 , 玛丽亚·洛萨达 :
无限对称群的余终结性和群态密度。 1354-1361 沃尔夫冈·默克尔 :
Kolmogorov-Loveland随机序列在选择子序列下是不封闭的。 1362-1376 阿南德·皮莱 :
关于可数简单一维理论。 1377-1384 大卫·M·埃文斯 :
分度充足。 1385-1402 久田博彦 , 冈田光夫 :
经典逻辑和模态逻辑对应关系的证明理论研究。 1403-1414 中泽晃二 , Makoto Tatsuta公司 :
“二阶经典自然演绎的CPS翻译强正规化证明”勘误表。 1415-1416