Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata

Mathematical Logic Quarterly 47 (4):563-572 (2001)
  Copy   BIBTEX


We 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



    Upload a copy of this work     Papers currently archived: 94,678

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Indestructibility and stationary reflection.Arthur W. Apter - 2009 - Mathematical Logic Quarterly 55 (3):228-236.
The lottery preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
Indestructible strong compactness and level by level inequivalence.Arthur W. Apter - 2013 - Mathematical Logic Quarterly 59 (4-5):371-377.
Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.
Universal partial indestructibility and strong compactness.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (5):524-531.
Some remarks on indestructibility and Hamkins? lottery preparation.Arthur W. Apter - 2003 - Archive for Mathematical Logic 42 (8):717-735.
Strong Cardinals can be Fully Laver Indestructible.Arthur W. Apter - 2002 - Mathematical Logic Quarterly 48 (4):499-507.
Strongly unfoldable cardinals made indestructible.Thomas A. Johnstone - 2008 - Journal of Symbolic Logic 73 (4):1215-1248.


Added to PP

22 (#717,029)

6 months
4 (#1,052,261)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joel David Hamkins
Oxford University

Citations of this work

Indestructible Strong Unfoldability.Joel David Hamkins & Thomas A. Johnstone - 2010 - Notre Dame Journal of Formal Logic 51 (3):291-321.
The least strongly compact can be the least strong and indestructible.Arthur W. Apter - 2006 - Annals of Pure and Applied Logic 144 (1-3):33-42.
The envelope of a pointclass under a local determinacy hypothesis.Trevor M. Wilson - 2015 - Annals of Pure and Applied Logic 166 (10):991-1018.
On a problem of Foreman and Magidor.Arthur W. Apter - 2005 - Archive for Mathematical Logic 44 (4):493-498.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references