Strong Compactness versus Supercompactness Equiconsistency Problem
Determine whether Con(ZFC plus the existence of a strongly compact cardinal) implies Con(ZFC plus the existence of a supercompact cardinal), or prove that the latter has strictly greater consistency strength.
Status Open Status review date not recorded in this edition
Listed by ProofAtlas. Status qualification is attributed to ProofAtlas; no full resolution is certified here.
References
Primary source
ProofAtlas open problems; G. Goldberg, The Ultrapower Axiom and the equivalence between strong compactness and supercompactness, arXiv:1810.05058 (2018).
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.