On Indestructible Strongly Guessing Models

Rahman Mohammadpour, Boban Velickovic

In \cite{MV} we defined and proved the consistency of the principle ${\mathrm{GM}}^{+}({\omega }_3,{\omega }_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at ${\omega }_2$…