数学逻辑季刊,第49卷
第49卷第1期,2003年1月
克劳斯·维赫劳赫(Klaus Weihrauch) :
可计算度量空间上的计算复杂性。 3-21 道格拉斯·A·岑泽 , 杰弗里·伦梅尔 :
欧米伽语索引集。 22-33 阿明·海默林 :
欧氏空间中的近似可判定性。 34-56 奥马尔·德拉克鲁斯 , 埃里克·J·霍尔 , 保罗·霍华德 , Kyriakos Keremedis公司 , 让·E·鲁宾 :
紧空间的乘积与选择公理2。 57-71 贾法尔·埃瓦兹洛 , 莫伊塔巴·莫尼里 :
无可定义间隙的有序字段的展开。 72-82 德夫·库马尔·罗伊 :
Peano算术中数字的最短定义。 83-86 赛义德·穆罕默德·巴赫里 :
关于完整的一阶理论的翻译。 87-91 乔治·韦弗 , 本杰明·乔治 :
Dedekind代数的Fraenkel-Carnap问题。 92-96 奥利维尔·埃塞尔 :
关于正集理论中的可拓性公理。 97-100 特蕾莎·比戈拉伊斯卡 :
由间隙中元素决定的强极大子群。 101-108
第49卷第2期,2003年3月
安德烈亚斯·布拉斯 , 维克托·潘布奇安 :
斯珀纳空间和一阶逻辑。 111-114 拉米·格罗斯伯格 , 阿列克谢·科列斯尼科夫 , 伊万·托马西奇 , 莫妮卡·范·迪伦 :
等式S1=D=R。 115-128 沃尔夫拉姆·门泽尔 , 弗兰克·斯蒂芬 :
数字的拓扑方面。 129-149 斯特凡诺·巴拉泰拉 , Siu-Ah Ng公司 :
新紧凑量词消除的后果。 150-162 乔治·巴姆帕利亚斯 :
实域的超限层次结构。 163-172 洛伦斯·哈贝森 :
用科恩·雷尔斯做甜甜圈。 173-178 Kyriakos Keremedis公司 :
选择公理的失败意味着Lindelöf度量空间理论的不安。 179-186 尼塔·塔卡西 , 冈田友子 , 阿萨纳西奥斯·祖瓦拉斯 :
非良基集合的分类和应用。 187-200 Norihiro Kamide公司 :
具有混合分离原理的经典线性逻辑。 201-209 米海普鲁内斯库 :
P!=(P!=) NP表示所有无限布尔代数。 210-213 石井胜须 :
关于第一不完全性定理的注记。 214-216
第49卷第3期,2003年5月
蒂莫西·麦克尼科尔 :
有效嵌入到强度结构中。 219-229 罗莎莉·伊姆霍夫 :
保守性逻辑:建构理论的可解释性逻辑的类似物。 230-249 莫泰萨·莫尼里 :
直觉算法弱系统的独立性结果。 250-254 Luminita Vêta(发光菌) :
邻近空间上的近似一致收敛。 255-259 里贾娜·阿拉贡 :
一些具有有限多个可分辨理想的布尔代数2。 260-276 劳伦特·范德普滕 :
Banach和Bochner空间上弱拓扑的非标准密度定理。 277-283 阿萨诺西奥斯·祖瓦拉斯 :
低复杂性的正向设置运算符。 284-292 戈萨洛·古铁雷斯 :
序列拓扑条件在没有选择公理的情况下。 293-298 弗拉基米尔·卡诺维 , 迈克尔·里肯 :
Solovay模型中ROD-超光滑等价关系的一个定理。 299-304 吉田聪 :
构造分析中空间D(R)的Banach-Steinhaus定理。 305-315 赛义德·萨利希 :
基本算术的全部功能都是令人信服的。 316-322 霍斯特·赫利奇 :
选择公理支持最大闭滤子存在的条件。 323-324
第49卷第4期,2003年7月
斯蒂芬·宾斯 :
梅德韦杰夫格和穆奇尼克格的分裂定理。 327-335 弗朗西斯科·米盖尔·加西亚·奥尔梅多 , 安东尼奥·罗德里格斯·萨拉斯 :
否定和BCK-代数。 336-346 乔治·沃萨达基斯 :
范畴抽象代数逻辑:演绎等价的准则。 347-352 马提亚斯·加洛塔 , 斯文·科苏布 , 赫里贝特·沃尔默 :
泛型分离和叶语言。 353-362 村上雅彦 , Akito Tsuboi公司 :
扩展了Peano算法模型的加性约简。 363-368 Kyriakos Keremedis公司 :
Baire范畴定理的一些弱形式。 369-374 亚瑟·W·阿普特 :
以坚固为特征的紧密性强的。 375-384 特洛·李 :
有限结构上的算术可定义性。 385-392 斯特凡诺·莱昂内西 , 卡洛·托法洛里 :
布尔格的欧米伽-范畴弱o-极小展开。 394-400 鹿岛良 :
关于半格相关逻辑。 401-414 佐兰·马尔科维奇 , 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 :
直觉逻辑的概率扩展。 415-424 莫特扎·莫尼里 :
关于可行构造算法的两个问题。 425-427 阿明·海默林 :
欧氏空间中近似可判定集的离散部分。 428-432
第49卷第5期,2003年9月
简·冯·柏拉图 :
从自然演绎到序列演算的转换。 435-443 Kyriakos Keremedis公司 , Eleftherios Tachtsis公司 :
实线特殊子集的选择原则。 444-454 奥马尔·德拉克鲁斯 , 埃里克·J·霍尔 , 保罗·霍华德 , Kyriakos Keremedis公司 , 让·E·鲁宾 :
度量空间和选择公理。 455-466 沃伊切赫·巴斯科夫斯基(Wojciech Buszkowski) :
紧凑双线性逻辑的顺序系统。 467-474 恩里克·卡萨诺瓦斯 :
关于不可分辨序列的一些评论。 475-478 赛义德·穆罕默德·巴赫里 , 莫特扎·莫尼里 :
关于任意固定框架上Kripke模型的一些结果。 479-484 曼努埃尔·勒曼 , 理查德·沃特尼克 :
可计算线性排序的可计算选择函数。 485-510 迈克尔·拉什扬 , 罗伯特·卢巴斯基 :
关于正则扩张公理及其变体。 511-518 Norihiro Kamide公司 :
关于二元论逻辑的注记。 519-524 石井胜须 :
维瑟形式命题逻辑的新序列计算。 525-535 乔尔·戴维·哈姆金斯 , 菲利普·D·韦尔奇 :
P(P) (f) != NP公司 (f) 几乎所有f。 536-540
第49卷第6期,2003年11月
高桥真本 , 吉野康夫 :
pi-短布尔代数。 543-549 Luminita Vêta(发光菌) :
一致空间中的近端收敛。 550-552 李登峰 , 李昂生(Angsheng Li) :
一对最小的连接到一个正拔罐图灵度。 553-566 瓦莱里·布利特科 , 瓦迪姆·布利特科 :
关于有界可约性完备集的存在性。 567-575 塔帕尼·海蒂宁 :
U秩的有限性意味着均匀结构的简单性。 576-578 科斯塔·多森 , 佐兰·佩特里克 :
分裂预订单的Brauerian表示。 579-586 亚瑟·W·阿普特 :
GCH的失效以及强紧性和超紧性之间的逐级等价。 587-597 Kam-Chau Wong先生 :
o-极小结构的不动点定理。 598-602 沃克·M·怀特 :
可计算结构中范畴的复杂性。 603-614 皮埃尔·马特 :
P的混合型划分性质 卡帕 (λ)。 615-628 佛朗科·蒙塔格纳 , 洛伦佐·萨切蒂 :
多值逻辑的克里普克式语义。 629-641