《数理逻辑季刊》第45卷
1999年第45卷
斯蒂芬·芬纳 , 马库斯·谢弗 :
有限免疫和Btt-减少。 3-21 上野博彦(Hiroyasu Kamo) , 木村纪子 :
自相似集的可计算性。 23-30 格哈德·利什克 :
NP与指数时间之间的实际关系。 31-49 米罗斯拉瓦·科洛夫斯卡·加维耶诺维奇(Miroslawa Kolowska-Gawiejnowicz) :
Lambek演算关系语义的标记演绎系统。 51-58 马修·萨尔茨 :
可计算可枚举隔离度的间隔。 59-72 Kees Doets公司 :
罗素悖论的亲属。 73-83 埃夫格尼·瓦西里耶夫 :
可数范畴结构 n个 -退化代数闭包。 85-94 Kyriakos Keremedis公司 :
弱Hausdorff间隙与p≤t问题。 95-104 奥利维尔·埃塞尔 :
论实证理论的一致性。 105-116 Josep Maria字体 :
关于特殊蕴涵滤子。 117-126 海克·米尔登伯格 :
问题上的博雷尔与答案上的博雷尔。 127-133 约翰·贝尔 :
构造性地处理布尔代数和分配格。 135-143 彼得·赫特林 :
有效分类的实数结构。 147-182 张毅(音) :
关于E.van Douwen和a.Miller的问题。 183-188 托马斯·麦克劳林 :
存在不完全Tame模型和Ellentuck的一个猜想。 189-202 道格拉斯·S·布里奇斯 , Luminita Dediu公司 :
弱算子连续性与伴随的存在性。 203-206 塞尔吉奥·塞拉尼 :
带否定算子的分配格。 207-218 塔帕尼·海蒂宁 :
稳定性和一般逻辑。 219-240 彼得·吉普森 , 亨利·卢斯 :
分区完备布尔代数和几乎紧基数。 241-255 穆罕默德·哈卢安尼 , 萨拉赫·拉巴哈拉 , 亨利·隆巴迪 :
拓扑结构问题的建设性研究。 257-288 大卫·W·库克 , 布莱恩·特恩奎斯特 :
近似模型完整理论。 291-298 J.多多 , 玛丽安·莫里伦 :
Hahn-Banach属性和选择公理。 299-314 埃里希·格拉德尔 , 埃里克·罗森 :
关于二元逻辑的保持定理。 315-325 小崎正美 , Juichi Shinoda公司 :
MOD上 k个 P计算度数。 327-342 沃尔夫冈·默克尔 :
抽象有界约简的精确对。 343-360 拉尔夫·辛德勒 :
强基数和雷亚尔集合 L(左) ω 1 (ℝ). 361-369 弗拉基米尔·卡诺维 , 迈克尔·里肯 :
非标准集合论中的特殊模型公理。 371-384 雷蒙·埃尔盖塔 :
逻辑普遍片段的代数特征。 385-398 费尔南多·费雷拉 :
直觉主义有界理论的两个一般结果。 399-407 安东尼·博纳托 , 德扬·德利奇 :
关系结构的鸽子洞属性。 409-413 斯坦尼斯拉夫·克拉奇 :
关于ωto与有限块划分的两点注记。 415-420 优素福·布达布斯 :
可重构和半重构竞赛:应用于它们的异态群。 421-431 高仁青藤 , Hiroyuki Shirasu先生 :
关于MIPC上直觉模态逻辑的有限模型性质。 435-448 张炳余 , 宁忠 :
L(左) 第页 -可计算性。 449-456 阿比尔·努尔 :
Sémantique algébrique d'un systèmes logique basésur un ensem ordonéfini公司。 457-466 法扎德·迪德瓦尔 :
关于一类递归可枚举集。 467-470 乌利亚诺·巴列斯特里尼 , 毛里齐奥·法托罗西·布巴纳巴 :
有限模态(分级模态VII)。 471-480 瓦斯科·布拉特卡 , 郑西忠 , 克劳斯·维赫劳赫(Klaus Weihrauch) :
实函数有效半连续性的方法。 481-496 拉迪姆·贝洛哈维克 :
模糊伽罗瓦连接。 497-504 弗拉基米尔·基亚特金 , 弗拉基米尔·里巴科夫 , 塔希·奥尼尔 :
关于可容许规则的有限模型性质。 505-520 玛丽亚·艾米莉亚·迈埃蒂 , 西尔维奥·瓦伦蒂尼 :
你能把幂集加到马丁·洛夫的直觉集理论中吗? 521-532 奥利维尔·查普斯 , 帕斯卡·科伊兰 :
代数闭域中几何性质的可定义性。 533-550 亚瑟·W·阿普特 :
强迫最不可测量的人违反GCH。 551-560 瓦莱里·布利特科 :
关于图灵约简的段复杂性。 561-571