Generalizations of Martin's Axiom, weak square, weak Chang's Conjecture, and a forcing axiom failure

We prove that the forcing axiom $M{A}_{{\mathrm{\aleph }}_2}^{1.5}(stratified)$ implies ${\mathrm{\square }}_{{\omega }_1,{\omega }_1}$. Using this implication, we show that the forcing axiom $M{M}_{{\mathrm{\aleph }}_2}({\mathrm{\aleph }}_2-c\mathrm{.}c\mathrm{.})$ is inconsistent. We also derive weak Chang’s Conjecture from $M{A}_{{\mathrm{\aleph }}_2}^{1.5}(stratified)$ and use this second implication to give another proof of the inconsistency of $M{M}_{{\mathrm{\aleph }}_2}({\mathrm{\aleph }}_2-c\mathrm{.}c\mathrm{.})$.