数学逻辑档案,第55卷
第55卷,编号1-2,2016年2月
-
献给Richard Laver。 1 亚瑟·W·阿普特 :
不可破坏性和可破坏的可测基数。 3-18 琼·巴加利亚 , 乔尔·戴维·哈姆金斯 , Konstantinos Tsaprounis公司 , 大村俊一 :
超强的红衣主教和其他大红衣主教从来都不是拉沃尔坚不可摧的。 19-35 蒂莫西·卡尔森 :
将Kruskal定理推广到成对的共存树。 37-48 帕特里克·德霍诺伊 :
Laver的结果和低维拓扑。 49-83 弗雷德·加尔文 , 马里恩·谢珀斯 :
贝尔空间和无限游戏。 85-104 迈克尔·赫鲁萨克 , 沃尔夫冈·沃霍夫斯基 , Ondrej Zindulka公司 :
可分离度量空间和Polish群中的强测度零。 105-131 金森明弘 :
拉沃尔和集合论。 133-164 佩特尔·科马思 :
关于遗传非悖论集的评论。 165-175 希拉·米勒 :
在多个生成元上的自由左分配代数中的左除。 177-205 伊泰·内曼 , 约翰·R·斯蒂尔 :
次紧基数的相等性。 207-238 萨哈龙·谢拉 :
采埃孚+DC+AX4。 239-294 Matteo小瓶 :
重温了马丁的极限。 295-317 W·休·伍丁 :
弱超滤公理。 319-351
第55卷,第3-4期,2016年5月
彼得·辛图拉 , 卡尔斯·诺格拉 :
蕴涵(半线性)逻辑II:附加连接词和半线性特征。 353-372 耶尔·哈尤特 , 阿萨夫·卡拉吉拉 :
对改变共同结局的强制执行的限制。 373-384 西蒙·托马斯 , 杰伊·威廉姆斯 :
有限生成群的双嵌入关系II。 385-396 安德烈亚斯·鲍迪什 :
指数p>2的2-幂零群的Fraíssé极限的新稳定性。 397-403 莉莉亚娜·巴迪略 , 卡特琳娜·比安基尼 , 赫里斯托·甘切夫 , 托马斯·肯特 , 安德烈亚·索比 :
关于1-泛型集的枚举度的注记。 405-414 保罗·霍华德 , 塔奇氏Eleftherios Tachtsis :
基数没有递减顺序。 415-429 伊曼纽尔肉排 , 马修·亨德拉斯 , 阿尔贝托·马可尼 , 保罗·谢弗 , 杰伦·范德米伦 :
逆向数学、良好的拟序和Noetherian空间。 431-459 萨拉·内格里 :
根据结构证明理论的Glivenko序列类。 461-473 文昌德 :
Ramsey代数和幂等超滤子的存在性。 475-491 大卫·乔登斯克 , 奥斯瓦尔多·古兹曼·冈萨雷斯 , 迈克尔·赫鲁萨克 :
Mathias-Prikry和Laver型强迫; 可加理想、coideas和+选择滤波器。 493-504 塔帕尼·海蒂宁 , 吉安卢卡·保里尼 :
在无原子布尔代数中将数据库独立性简化为除法。 505-518 奥斯卡·莱文 :
有序字段的可计算维度。 519-534 加布里埃尔·科南特 :
关于严格独立关系的评论。 535-544 约翰·鲍德温 , 马丁·科尔文 , Ioannis A.Souldatos公司 :
联合嵌入性质和最大模型。 545-565 塞巴斯蒂安·瓦西 :
无限稳定性理论。 567-592 Akiyoshi良田 , 格里戈里造币厂 :
欧米伽定律的推广。 593-603
第55卷,编号5-6,2016年8月
托比亚斯·凯泽 :
R-分析函数。 605-623 米查尔·加利克 :
用限制约化幂构造有界算法模型。 625-648 Moti Gitik公司 , 梅纳希姆·马吉多 :
有限条件下的SPFA。 649-661 齐夫·沙米 :
一维超单理论中SU-rank的连续性。 663-675 Byunghan Kim先生 :
关于玫瑰理论中类型的n-唯一性。 677-686 凯蒂·布罗德海德 , 穆什菲克·汗 , 比约恩·科霍斯·汉森 , 威廉·兰普 , Paul Kim Long V.Nguyen先生 , 理查德·肖尔 :
Grätzer-Schmidt定理的强度。 687-704 洛伦佐·卢佩里·巴格里尼 :
ℱ- 集合和超滤子的有限嵌入性。 705-734 迈克尔·C·拉斯科夫斯基 , 克里斯托弗·肖 :
一类弱o-极小理论的可定义选择。 735-748 陈雷(Lei Chen) , 念东石 , 吴国华 :
Stone代数中的可定义集。 749-757 罗伯特·卢巴斯基 , 诺曼·刘易斯·帕尔穆特 :
集合论模型之间的基本表态。 759-766 安吉洛·贝拉 , 塞西尔·托戈兹 , 吕博米尔·兹多姆斯基 :
拓扑群的Menger余数。 767-784 阿里·萨代赫·达赫伊 , Massoud Pourmahdian公司 :
红衣主教继任者的可定义树属性。 785-798 皮埃尔·马特 , 塞德里克·佩安 , 萨哈龙·谢拉 :
[λ]上正规理想的上确性 <κ 一、。 799-834 阿萨夫·沙尼 :
超能力的新鲜子集。 835-845
第55卷,编号7-8,2016年11月
马丁·多利扎 , 维斯拉夫·库比斯 :
关于无穷多关系的完美独立集。 847-856 贾努斯·鲍利科夫斯基(Janusz Pawlikowski) , 沃伊切赫·斯塔德尼基 :
马蒂亚斯强迫和超滤。 857-865 塞缪尔·达·席尔瓦 :
CUT和CUT(Fin)的拓扑等价性。 867-872 约瑟夫·伯杰 , 格雷戈尔·斯温德兰 :
凸性和构造性中缀。 873-881 Hiroaki Minami公司 , 酒井浩史 :
F上的Katětov和Katîtov-Blass订单 σ -理想。 883-898 西德维德·弗里德曼 , 魏丽 , Tin Lok Wong公司 :
Kripke-Platek集合论的片段和α-递归理论的元数学。 899-924 芭芭拉·马奇尔·伊瓦诺 :
SF(ω)的子群及其几乎包含关系。 925-937 卡罗尔·雅各比 , 彼得·洛斯 :
ℤ的分类 第页 -L中具有部分分解基的模 ∞ω . 939-954 罗莎莉·伊姆霍夫 , 范扬 :
依赖命题逻辑中的结构完备性。 955-975 奥维·艾尔曼 :
均质结构和模型完整性。 977-995 埃米尔·杰拉贝克 :
除以零。 997-1013 杰弗里·赫斯特 , 诺亚·A·休斯 :
用有限多个解来反演数学和婚姻问题。 1015-1024 米罗斯拉夫·雷皮克 :
薰衣草理想的共有性。 1025-1036