Suppose $\lambda$ is a successor of a singular cardinal. We will say $\lambda$ **fake** if there is a transitive set $M$ such that $\lambda \subseteq M$ satisfying $\mathrm{ZFC}^-$ (ZFC without powerset) in which there is a largest $M$-cardinal $\kappa < \lambda$ which is regular in $M$. We will say $\lambda$ is **weak** if we can find such $M$ and $\kappa$ such that $M \models \kappa^{<\kappa} = \kappa$.

**Question:** If $\lambda$ is a fake successor of a singular, is it also weak?

Some motivation: To obtain some properties around singular cardinals of high consistency strength, one often creates weak successors of singulars using Prikry-type forcing. But to obtain other such properties, one needs to use successors of singulars that are not weak. These two methods are in tension. In practice, the examples of fake successors of singulars are also weak, since the witnesses may be taken from inner models satisfying GCH. But I am wondering if there is a deeper explanation.

Remark: If $\kappa$ is supercompact and $\mathrm{cf}(\mu)<\kappa<\mu$, then $\mu^+$ is not weak. Using Radin forcing, we can produce a model with many measurable cardinals in which every successor of a singular is weak.

12more comments