Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904294 | Annals of Pure and Applied Logic | 2018 | 17 Pages |
Abstract
Starting from a Laver-indestructible supercompact κ and a weakly compact λ above κ, we show there is a forcing extension where κ is a strong limit singular cardinal with cofinality Ï, 2κ=κ+3=λ+, and the tree property holds at κ++=λ. Next we generalize this result to an arbitrary cardinal μ such that κ
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Sy-David Friedman, Radek Honzik, Å árka Stejskalová,