The PFA equiconsistency conjecture
Let PFA denote the Proper Forcing Axiom, and let a supercompact cardinal be a cardinal with the usual supercompactness property. PFA equiconsistency conjecture. PFA is equiconsistent with the existence of one supercompact cardinal. The consistency of PFA and related forcing axioms is known relative to one supercompact cardinal; the exact consistency strength is the central unresolved issue addressed by this conjecture.
References
Primary source
Grigor Sargsyan, “The core model induction beyond L(R): non-tame mouse from PFA”, arXiv:1206.2714 (2012).
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.