Article ID Journal Published Year Pages File Type
6424817 Annals of Pure and Applied Logic 2012 6 Pages PDF
Abstract

Starting from a supercompact cardinal κ, we force and construct a model in which κ is both the least strongly compact and least supercompact cardinal and κ's strong compactness, but not its supercompactness, is indestructible under arbitrary κ-directed closed forcing.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, , ,