LSA conjecture for a strong-cardinal model with a Woodin cardinal

At least 4 years old · documented by

Let LSALSA abbreviate the assertion that AD+AD^+ holds and there is a largest Suslin cardinal belonging to the Solovay sequence. Let E⃗\vec{E} be an extender sequence and write LE⃗(P(R))L^{\vec{E}}(\mathcal{P}(\mathbb{R})) for the corresponding extender model over the power set of the reals. LSA model conjecture. Assume LSALSA. Then there is a model M=LE⃗(P(R))\mathcal{M}=L^{\vec{E}}(\mathcal{P}(\mathbb{R})) of ADRAD_{\mathbb{R}} in which Θ\Theta is a strong cardinal and M⊨\mathcal{M}\vDash “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.

References

Primary source

Grigor Sargsyan and Rachid Atmai, “Hod up to AD_R+Θ is measurable”, arXiv:2111.06452 (2021).

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.