jdh.hamkins.org
The necessary maximality principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal
[bibtex key=HamkinsWoodin2005:NMPccc]