Solovay-sequence conjecture on club HOD-Berkeley cardinals

About 2 years old · traced to

Assume

ADR+V=L(P(R))+“Θ is a regular cardinal”.{\sf{AD}}_{\mathbb{R}}+V=L(\mathcal{P}(\mathbb{R}))+“\Theta\text{ is a regular cardinal}”.

Let Θ\Theta be the least ordinal not surjected by a real. Suppose ζ<Θ\zeta<\Theta is a successor member of the Solovay sequence, let ν\nu be the largest member of the Solovay sequence below ζ\zeta, set

X=⋃α<ζαω,X=\bigcup_{\alpha<\zeta}\alpha^\omega,

and let

Δ={A⊆R:the Wadge rank of A is <ν}.\Delta=\{A\subseteq\mathbb{R}:\text{the Wadge rank of }A\text{ is }<\nu\}.

Assume also that P(R)∩HODX=Δ\mathcal{P}(\mathbb{R})\cap{\sf{HOD}}_X=\Delta. A cardinal κ\kappa is a club NN-Berkeley cardinal if for every M∈NM\in N there is a club C⊆κC\subseteq\kappa such that for every α∈C\alpha\in C there is an elementary embedding j:M→Mj:M\to M with crit⁡(j)=α\operatorname{crit}(j)=\alpha.

Solovay-sequence conjecture. Under these assumptions, VζHODXV_\zeta^{{\sf{HOD}}_X} 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 Θ\Theta has the stated Berkeley-cardinal property at ω1\omega_1. 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

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.