On some questions concerning strong compactness (Q1938399)

It is well known that if \(\kappa\) is a supercompact cardinal and GCH holds below \(\kappa\), then GCH holds everywhere. Without choice, the situation is quite different. Here, a cardinal is understood to be \(\lambda\)-supercompact if there is a normal fine measure on \(P_\kappa \lambda\). In previous work, the author constructed a model of ZF where GCH fails for the first time at a supercompact strong limit cardinal. The author now constructs two models of ZF. In the first one, \(\kappa\) is a supercompact strong limit cardinal and GCH fails exactly at the regular cardinals below \(\kappa\). In the second one, \(\kappa\) is a supercompact limit cardinal and GCH fails exactly at the limit cardinals up to and including \(\kappa\). Both models have some resemblance of choice models in that all successor cardinals are regular. In the first one, also \({\text{ DC}}_{\delta}\) holds for all \(\delta < \kappa\), and the holding and failing of GCH is witnessed by ``choice-like'' cardinal arithmetic.