Article ID Journal Published Year Pages File Type
8904294 Annals of Pure and Applied Logic 2018 17 Pages PDF
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 κ
Keywords
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, , ,