A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis

Omer Ben-Neria, Eyal Kaplan

We construct a model of the form $L[A,U]$ that exhibits the simplest structural behavior of $\sigma$-complete ultrafilters in a model of set theory with a single measurable cardinal $\kappa$…