Towards Martin's minimum (Q1407525): Difference between revisions

Martin's axiom is the forcing axiom for the class of ccc forcing notions. There are variants of Martin's axiom for larger classes of forcing notions like the Proper Forcing Axiom and Martin's Maximum. However, the authors of the article under review look for minimalized versions of Martin's axiom. More precisely, they look for models of \(\text{MA}+\neg\text{CH}\) in which the forcing axiom fails for as many not ccc forcing notions as possible. They concentrate on forcing notions built according to the scheme of ``norms on possibilities'' introduced by \textit{A. Rosłanowski} and \textit{S. Shelah} [Norms on possibilities. I: Forcing with trees and creatures, Mem. Am. Math. Soc. 671 (1999; Zbl 0940.03059)]. In particular, they prove that \(\text{MA}+\neg\text{CH}\) is consistent with the failure of the forcing axiom for all forcing notions of the class of \(\omega^\omega\)-bounding forcing notions with the appropriate norms.