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

From papers

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.

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

No solutions have been posted yet.