The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal

dc.creatorHamkins, Joel David
dc.creatorWoodin, W. Hugh
dc.date2004-03-09
dc.date.accessioned2026-07-07T05:06:15Z
dc.date.available2026-07-07T05:06:15Z
dc.descriptionThe Necessary Maximality Principle for c.c.c. forcing asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already true in the minimal extension containing the real. We show that this principle is equiconsistent with the existence of a weakly compact cardinal.
dc.description11 pages
dc.identifierhttps://arxiv.org/abs/math/0403165
dc.identifierhttp://arxiv.org/abs/math/0403165
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/70409
dc.subjectLogic
dc.subject03E55; 03E40
dc.titleThe Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal
dc.typetext

Files

Collections