We construct models for the level-by-level equivalence between strong compactness and supercompactness containing failures of the Generalized Continuum Hypothesis (GCH) at inaccessible cardinals. In one of these models, no cardinal is supercompact up to an inaccessible cardinal, and for every inaccessible cardinal , . In another of these models, no cardinal is supercompact up to an inaccessible cardinal, and the only inaccessible cardinals at which GCH holds are also measurable. These results extend and generalize earlier work of the author.
"Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence." Notre Dame J. Formal Logic 55 (4) 431 - 444, 2014. https://doi.org/10.1215/00294527-2798691