Local saturation and square everywhere

Abstract

We show that it is consistent relative to a huge cardinal that for all infinite cardinals κ, κ holds and there is a stationary S ⊆ κ + such that NS κ + ↾ S is κ ++ -saturated.