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.
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.