Equiconsistency conjecture for indestructible weakly compact cardinals
Equiconsistency conjecture for indestructible weakly compact cardinals
Let denote Zermelo–Fraenkel set theory with the axiom of choice. A cardinal is indestructibly weakly compact if its weak compactness is preserved by the relevant forcing described in the paper.
Equiconsistency conjecture. The existence of an indestructible weakly compact cardinal is equiconsistent over with the existence of a supercompact cardinal.
The paper's main theorem rules out a Laver-like preparation making a weakly compact non-supercompact cardinal indestructible, but does not establish the full consistency-strength equivalence. The conjecture is motivated by the reported high consistency strength of indestructible weak compactness and remains open here.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
Primary source
Arthur W. Apter and Joel David Hamkins, “Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata”, arXiv:math/9907046 (1999).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.