MathDBThe PFA equiconsistency conjecture
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.
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
Grigor Sargsyan, “The core model induction beyond L(R): non-tame mouse from PFA”, arXiv:1206.2714 (2012).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.