The LST-hod mouse equiconsistency conjecture
The LST-hod mouse equiconsistency conjecture
An -hod premouse is a premouse with cardinals such that, in , is Woodin, is -strong, and is a limit of Woodin cardinals.
LST-hod mouse equiconsistency conjecture. The following theories are equiconsistent:
The source proves upper and lower consistency bounds around -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
Sign in to submit a solution.
No solutions have been posted yet.