The relativized mouse set conjecture for Levy-hierarchy pointclasses

About 4 years old · traced to

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 x∈Rx\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 y∈Ry\in\mathbb{R}, there is an x∈Rx\in\mathbb{R} such that y≤Txy\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.

References

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.