Consistency of LSA from the consistency of T and PFA
Consistency of LSA from the consistency of T and PFA
Let denote the theory “ is the largest Suslin cardinal.” Here and express the consistency of and , respectively. Consistency-strength conjecture.
The conjecture proposes that both and have at least the consistency strength of , 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
Sign in to submit a solution.
No solutions have been posted yet.