Results 1 -
1 of
1
THE TREE PROPERTY AT BOTH ℵω+1 AND ℵω+2
"... 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. ..."
Abstract
- Add to MetaCart
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.
