Semiproper Forcing Axiom Implies Martin Maximum but Not $|mathrm{PFA}^+$
Shelah, Saharon
J. Symbolic Logic, Tome 52 (1987) no. 1, p. 360-367 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We prove that MM (Martin maximum) is equivalent (in ZFC) to the older axiom SPFA (semiproper forcing axiom). We also prove that SPFA does not imply $SPFA^+$ or even $PFA^+$ (using the consistency of a large cardinal).
Publié le : 1987-06-14
Classification:  
@article{1183742365,
     author = {Shelah, Saharon},
     title = {Semiproper Forcing Axiom Implies Martin Maximum but Not $|mathrm{PFA}^+$},
     journal = {J. Symbolic Logic},
     volume = {52},
     number = {1},
     year = {1987},
     pages = { 360-367},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742365}
}

Shelah, Saharon. Semiproper Forcing Axiom Implies Martin Maximum but Not $|mathrm{PFA}^+$. J. Symbolic Logic, Tome 52 (1987) no. 1, pp.  360-367. http://gdmltest.u-ga.fr/item/1183742365/