Equiconsistency conjecture for indestructible weakly compact cardinals

About 27 years old · traced to

Let ZFCZFC 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 ZFCZFC 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.

References

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).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.