Consistency of LSA from the consistency of T and PFA

Let LSA\textsf{LSA} denote the theory “AD++θβ+1+θβ\textsf{AD}^+ + \theta_{\beta+1}+\theta_\beta is the largest Suslin cardinal.” Here Con(T)\operatorname{Con}(T) and Con(PFA)\operatorname{Con}(\textsf{PFA}) express the consistency of TT and PFA\textsf{PFA}, respectively. Consistency-strength conjecture.

Con(T)Con(LSA)andCon(PFA)Con(LSA).\operatorname{Con}(T)\Rightarrow\operatorname{Con}(\textsf{LSA})\quad\text{and}\quad\operatorname{Con}(\textsf{PFA})\Rightarrow\operatorname{Con}(\textsf{LSA}).

The conjecture proposes that both TT and PFA\textsf{PFA} have at least the consistency strength of LSA\textsf{LSA}, a strong determinacy theory whose consistency was recently established according to the source. The relative consistency implications remain conjectural.

Sources & referencesView supporting material

Primary source

Nam Trang, “PFA and guessing models”, arXiv:1608.05726 (2016).

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.