Aronszajn and Kurepa trees

被引：3
|
作者：
Cummings, James [1 ]
机构：
[1] Carnegie Mellon Univ, Dept Math Sci, Pittsburgh, PA 15213 USA
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2018年 / 57卷 / 1-2期
基金：
美国国家科学基金会;
关键词：
Aronszajn tree; Kurepa tree; Mitchell forcing; Forcing axioms;
D O I：
10.1007/s00153-017-0579-y
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Monroe Eskew (Tree properties on omega(1) and omega(2), 2016. https://mathoverflow.net/questions/217951/tree-properties-on-omega-1-and-omega-2) asked whether the tree property at omega(2) implies there is no Kurepa tree (as is the case in the Mitchell model, or under PFA). We prove that the tree property at omega(2) is consistent with the existence of omega(1)-trees with as many branches as desired.
引用
收藏
页码：83 / 90
页数：8
相关论文
共 50 条
12345