The LST-hod mouse equiconsistency conjecture

An LSTLST-hod premouse is a premouse P=L[Pδ]\mathcal P=L[\mathcal P|\delta] with cardinals κ,δ\kappa,\delta such that, in P\mathcal P, δ\delta is Woodin, κ\kappa is <δ<\delta-strong, and κ\kappa is a limit of Woodin cardinals.

LST-hod mouse equiconsistency conjecture. The following theories are equiconsistent:

ZFC+there is an LST-hod premouse,ZFC+there is a Woodin limit of Woodin cardinals.\begin{array}{ll} \text{ZFC+there is an $LST$-hod premouse},\\ \text{ZFC+there is a Woodin limit of Woodin cardinals}. \end{array}

The source proves upper and lower consistency bounds around LSTLST-hod premice and presents this equiconsistency as the remaining conjectural identification of their exact strength.

Sources & referencesView supporting material

Primary source

Grigor Sargsyan, “Descriptive inner model theory”, arXiv:1206.2712 (2012).

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.