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.
References
Primary source
Douglas Blue and Grigor Sargsyan, “AD^+ implies that ω_1 is a Θ-Berkeley cardinal”, arXiv:2402.01329 (2025).
Progress summary
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.