The relativized mouse set conjecture for Levy-hierarchy pointclasses
The relativized mouse set conjecture for Levy-hierarchy pointclasses
Assume . Let and . For each , define to be the collection of all pointsets such that for some formula with parameter ,
Relativized mouse set conjecture. For every , there is an such that and 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.