Level by Level Inequivalence, Strong Compactness, and GCH
Volume 60 / 2012
Bulletin Polish Acad. Sci. Math. 60 (2012), 201-209
MSC: 03E35, 03E55.
DOI: 10.4064/ba60-3-1
Abstract
We construct three models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In the first two models, below the supercompact cardinal $\kappa $, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.
