Guessing models and the approachability ideal

Rahman Mohammadpour, Boban Velickovic

Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\mathrm{GM}}^{+}({\omega }_3,{\omega }_1)$ holds. This principle implies ${\rm…