Solovay-sequence conjecture on club HOD-Berkeley cardinals

From papers

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

Δ={AR: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 MNM\in N there is a club CκC\subseteq\kappa such that for every αC\alpha\in C there is an elementary embedding j:MMj: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.

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

No solutions have been posted yet.