top
We force from large cardinals a model of ZFC in which and both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model even satisfies the super tree property.
Laura Fontanella, and Sy David Friedman. "The tree property at both $ℵ_{ω+1}$ and $ℵ_{ω+2}$." Fundamenta Mathematicae 229.1 (2015): 83-100. <http://eudml.org/doc/283127>.
@article{LauraFontanella2015, abstract = {We force from large cardinals a model of ZFC in which $ℵ_\{ω+1\}$ and $ℵ_\{ω+2\}$ both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model $ℵ_\{ω+2\}$ even satisfies the super tree property.}, author = {Laura Fontanella, Sy David Friedman}, journal = {Fundamenta Mathematicae}, keywords = {tree property; large cardinals; successors of singular cardinals}, language = {eng}, number = {1}, pages = {83-100}, title = {The tree property at both $ℵ_\{ω+1\}$ and $ℵ_\{ω+2\}$}, url = {http://eudml.org/doc/283127}, volume = {229}, year = {2015}, }
TY - JOUR AU - Laura Fontanella AU - Sy David Friedman TI - The tree property at both $ℵ_{ω+1}$ and $ℵ_{ω+2}$ JO - Fundamenta Mathematicae PY - 2015 VL - 229 IS - 1 SP - 83 EP - 100 AB - We force from large cardinals a model of ZFC in which $ℵ_{ω+1}$ and $ℵ_{ω+2}$ both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model $ℵ_{ω+2}$ even satisfies the super tree property. LA - eng KW - tree property; large cardinals; successors of singular cardinals UR - http://eudml.org/doc/283127 ER -