An Inconsistent Forcing Axiom at $ω_2$
We show that the forcing axiom for countably compact, $ω_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage of $ω_2$.
math.LO↗