Local saturation and square everywhere

We show that it is consistent relative to a huge cardinal that for all infinite cardinals $κ$, $\square_κ$ holds and there is a stationary $S \subseteq κ^+$ such that $\mathrm{NS}_{κ^+} \restriction S$ is $κ^{++}$-saturated.

No reviews yet.

No comments yet.