Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661762 | Annals of Pure and Applied Logic | 2015 | 27 Pages |
Abstract
We show - starting from a hypermeasurable-type large cardinal assumption - that one can force a model where 2âµÏ=âµÏ+2, âµÏ is a strong limit cardinal, and the tree property holds at all âµ2n, for n>0. This provides a partial answer to the question whether the failure of SCH at âµÏ is consistent with many cardinals below âµÏ having the tree property.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Sy-David Friedman, Radek Honzik,