The relativized mouse set conjecture for Levy-hierarchy pointclasses

Assume ZF+AD+DC+V=L(R)ZF + AD + DC + V=L(\mathbb{R}). Let αON\alpha\in ON and nωn\in\omega. For each xRx\in\mathbb{R}, define Γx\Gamma_x to be the collection of all pointsets AA such that for some Σn\Sigma_n formula ϕ\phi with parameter xx,

A={y:Jα(R)ϕ[y]}.A=\{y:J_\alpha(\mathbb{R})\models\phi[y]\}.

Relativized mouse set conjecture. For every yRy\in\mathbb{R}, there is an xRx\in\mathbb{R} such that yTxy\leq_T x and CΓxC_{\Gamma_x} is a mouse set. This is a boldface relativization of the preceding mouse set conjecture and is presented as an open problem connected with unreachability.

Sources & referencesView supporting material

Primary source

Derek Levinson, Itay Neeman and Grigor Sargsyan, “Unreachability of Inductive-Like Pointclasses in L(R)”, arXiv:2210.10076 (2026).

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.