LSA conjecture for a strong-cardinal model with a Woodin cardinal
LSA conjecture for a strong-cardinal model with a Woodin cardinal
Let abbreviate the assertion that holds and there is a largest Suslin cardinal belonging to the Solovay sequence. Let be an extender sequence and write for the corresponding extender model over the power set of the reals. LSA model conjecture. Assume . Then there is a model of in which is a strong cardinal and “there is a Woodin cardinal”. The source presents this as a conjectural direction for the fine structure of models of LSA; no proof or resolution is given.
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 and Rachid Atmai, “Hod up to AD_R+Θ is measurable”, arXiv:2111.06452 (2021).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.