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 κ, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-ba60-3-1, author = {Arthur W. Apter}, title = {Level by Level Inequivalence, Strong Compactness, and GCH}, journal = {Bulletin of the Polish Academy of Sciences. Mathematics}, volume = {60}, year = {2012}, pages = {201-209}, zbl = {1258.03073}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-ba60-3-1} }
Arthur W. Apter. Level by Level Inequivalence, Strong Compactness, and GCH. Bulletin of the Polish Academy of Sciences. Mathematics, Tome 60 (2012) pp. 201-209. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-ba60-3-1/