数学逻辑档案,第58卷
第58卷,编号1-2,2019年2月
冈特·福克斯 :
正方形上的对角线反射。 1-26 约瑟夫·伯杰 , 格雷戈·斯文德兰 :
凸性和唯一最小点。 27-34 Moti Gitik公司 :
奇怪的超滤器。 35-52 达米安·索博塔 :
集合族与Rosenthal引理有关。 53-69 大村俊一 :
延伸的红衣主教和地幔。 71-75 亚历山德罗·安德雷塔 , 文森佐·迪蒙特 :
$${{\mathrm{\mathsf{I3}}}$$I3上方的可迭代层次结构。 77-97 迈克尔·拉斯科夫斯基 , 撒哈拉沙拉 :
$$\aleph_0$$ℵ0的严重失败-原子类的稳定性。 99-118 玛丽亚·鲍里西奇 :
经典逻辑概率序列演算。 119-136 谢赫扎德·艾哈迈德 :
谢拉三分定理的推广。 137-153 罗莎莉·伊姆霍夫 :
模态逻辑中的统一插值和顺序计算。 155-181 斯特凡诺·巴拉泰拉 :
连续谓词模态逻辑的一个完备性定理。 183-201 约瑟夫·伯杰 , 石原慎美 , 高崎木原 , 内本孝子 :
构造逆数学中的二进制展开和中值定理。 203-217 卢西亚诺·冈萨雷斯 :
具有分配近格项的自扩张逻辑。 219-243 维多利亚·吉特曼 , 乔尔·戴维·哈姆金斯 :
通用Vopěnka原则的一种模型,其中序数不是Mahlo。 245-265
第58卷,第3-4期,2019年5月
简·多布罗夫斯基 , 约翰·古德里克 :
关于极小和有限负荷群的一些注记。 267-274 拉德克·洪齐克(Radek Honzik) :
超可测基数的Laver-like坚不可摧。 275-287 文森特·金戈纳 , 卡梅隆·唐纳·希尔 :
关于模型理论中的正局部组合分割线。 289-323 哈伊姆·霍洛维茨 , 撒哈拉沙拉 :
关于疯狂家庭的不存在。 325-338 安东·弗伦德 :
关于迭代一致性和无穷证明的注记。 339-346 安妮卡·坎科斯 :
关于Gentzen序数赋值的注释。 347-352 塞缪尔·达·席尔瓦 :
伪度量空间与可数选择公理之间的一致连续函数。 353-358 罗曼·库兹涅茨 , Lutz Stra汉堡 :
前原诚司型模态嵌套结石。 359-385 拉塞尔·米勒 , 维克托·奥卡西奥·冈萨雷斯 :
实闭场的度谱。 387-411 大田康彦 , 弗洛里安·佩卢佩西 :
Dickson引理和弱Ramsey理论。 413-425 金都 :
钻石、鳞片和GCH降至$$\aleph_{\omega^2}$$ω2。 427-442 Tatsuji Kawai公司 :
与单调∏等价的连续性原理 1 0 扇形定理。 443-456 塞缪尔·考斯基 , 保罗埃利斯 :
齐次有序图的共轭性。 457-467 威廉·加斯奇 , 道格拉斯·乌尔里奇 :
通过不可识别项区分体积子集。 469-483 尼古拉·巴热诺夫 , 马纳特·穆斯塔法 , 马尔斯·雅马列夫 :
数半格的基本理论和遗传不可判定性。 485-500 马可·贝尼尼 , 罗伯塔·博纳奇纳 :
在范畴设置中的好拟序。 501-526
第58卷,编号5-6,2019年8月
保罗·谢弗 , 安德烈亚·索比 :
比较可枚举度和闭合梅德韦杰夫度。 527-542 尼古拉·巴热诺夫 , 叶卡捷琳娜·福基纳 , 迪诺·罗塞格 , 卢卡·圣毛罗 :
等价结构的双嵌入范畴度。 543-563 约翰·克莱门斯 , 塞缪尔·考斯基 , 斯蒂芬妮·波特 :
关于顶点传递结构的分类。 565-574 卡勒布·戴维斯 , 杰弗里·赫斯特 , 杰克·帕尔多 , 蒂姆·兰索姆 :
逆向数学和超图的着色。 575-585 安东·博布科夫 :
树木的VC-密度。 587-603 戴维德·里纳尔迪 , 丹尼尔·米塞尔贝克-韦塞尔 :
包含关系的剪切消除。 605-625 本诺·范登伯格 :
黑田东彦式的j翻译。 627-634 谢伍德·哈希特曼 :
课堂游戏的决定分离。 635-648 Moti Gitik公司 , 艾雅·卡普兰 :
Prikry强迫商的非单调性。 649-710 弗洛里安·兰齐 , 托马斯·斯特拉姆 :
小Veblen序数的灵活类型系统。 711-751 阿里·埃纳亚特 , 费多尔·帕克霍莫夫 :
真理、析取和归纳。 753-766 最佳女演员奖 , 戴安娜·卡罗琳娜·蒙托亚 :
独立的理想。 767-785
第58卷,编号7-8,2019年11月
汤姆·本哈莫 :
各种过滤器的Prikry强制和树Prikry强迫。 787-817 凯萨琳娜·杜邦 , 阿萨夫·哈森 , 萨尔玛·库尔曼 :
乘法子群和NIP字段诱导的可定义估值。 819-839 特雷弗·M·威尔逊 :
带有少量$$\aleph_1$$ℵ1-Suslin集的通用Vopěnka基数和ZF模型。 841-856 杰弗里·赫斯特 , 卡尔·穆默特 :
使用拉姆齐定理一次。 857-866 金都 :
SCH的强树性质和失败。 867-875 最佳女演员奖 , 撒哈拉沙拉 :
独立的光谱。 877-884 尤根·奇科维奇 , 茨万科·伊尔贾佐维奇 , 卢西娅·瓦利季奇 :
可计算拓扑空间中的可链和循环可链半可计算集。 885-897 塞尔吉奥·塞拉尼 :
完备和原子Tarski代数。 899-914 张德雪 , 高章 :
基于连续三角范数的模糊拓扑。 915-942 约格·布伦德尔 , 迈克尔·赫鲁萨克 , 维克托·托雷斯·佩雷斯 :
带对立的构造:基本不变量和游戏。 943-963 米哈·E·哈比奇 , 乔尔·戴维·哈姆金斯 , 卢卡斯·丹尼尔·克劳斯纳 , 乔纳森·维纳 , 卡梅林·J·威廉姆斯 :
集合理论区块链。 965-997 格里戈·萨尔基扬 :
贝克尔定理的内模理论证明。 999-1003 阿兰·道 , 撒哈拉沙拉 :
伪P点和分裂数。 1005-1027 阿南德·皮莱 , 宁远瑶 :
关于p-adic域中可定义的群的注记。 1029-1034 大卫·乔登斯克 , 最佳女演员奖 , 简·格雷比克 :
℘(ω)/fin中的自由序列。 1035-1051
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)