Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata

Simple item page
dc.creatorApter, Arthur W.
dc.creatorHamkins, Joel David
dc.date1999-07-07
dc.date.accessioned2026-07-07T05:29:49Z
dc.date.available2026-07-07T05:29:49Z
dc.descriptionWe show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally supercompact. We then apply this theorem to show that the hypothesis of supercompactness is necessary for certain proof schemata.
dc.description13 pages
dc.identifierhttps://arxiv.org/abs/math/9907046
dc.identifierhttp://arxiv.org/abs/math/9907046
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/78789
dc.subjectLogic
dc.subject03E55; 03E40
dc.titleIndestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata
dc.typetext

Files

Collections

arXiv