Solovay-sequence conjecture on club HOD-Berkeley cardinals
Solovay-sequence conjecture on club HOD-Berkeley cardinals
Assume
Let be the least ordinal not surjected by a real. Suppose is a successor member of the Solovay sequence, let be the largest member of the Solovay sequence below , set
and let
Assume also that . A cardinal is a club -Berkeley cardinal if for every there is a club such that for every there is an elementary embedding with .
Solovay-sequence conjecture. Under these assumptions, is a model of
{\sf{ZF}+“\omega_1\text{ is a club }{\sf{HOD}}\text{-Berkeley cardinal}”.This predicts a specific inner model of determinacy and regular has the stated Berkeley-cardinal property at . No resolution is supplied in the source context.
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
Douglas Blue and Grigor Sargsyan, “AD^+ implies that ω_1 is a Θ-Berkeley cardinal”, arXiv:2402.01329 (2025).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.