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

Publication date 14 December 2022

Abstract: We prove that the forcing axiom

M A_{a l e p h_{2}}^{1.5} (m b o x s t r a t i f i e d)

implies

B o x_{o m e g a_{1}, o m e g a_{1}}

. Using this implication, we show that the forcing axiom

M M_{a l e p h_{2}} (a l e p h_{2} m b o x - c . c .)

is inconsistent. We also derive weak Chang's Conjecture from

M A_{a l e p h_{2}}^{1.5} (m b o x s t r a t i f i e d)

and use this second implication to give another proof of the inconsistency of

M M_{a l e p h_{2}} (a l e p h_{2} m b o x - c . c .)

.

This page was built for publication: Generalizations of Martin's Axiom, weak square, weak Chang's Conjecture, and a forcing axiom failure