The Generation of Closed Pointclasses

About 14 years old · traced to

Assume AD++V=L(P(R))AD^++V=L(\mathcal P(\mathbb R)). A pointclass Γ⊊P(R)\Gamma\subsetneq\mathcal P(\mathbb R) is closed when P(R)∩L(Γ,R)⊆Γ\mathcal P(\mathbb R)\cap L(\Gamma,\mathbb R)\subseteq\Gamma. Let w(Γ)=sup⁡{w(A):A∈Γ}w(\Gamma)=\sup\{w(A):A\in\Gamma\}, where w(A)w(A) is the Wadge rank, and let Code⁡(Σ)\operatorname{Code}(\Sigma) denote a code for an iteration strategy. A Suslin cardinal is an ordinal with the source's standard determinacy-theoretic meaning.

Generation of closed pointclasses conjecture. If there is a Suslin cardinal κ>w(Γ)\kappa>w(\Gamma) and L(Γ,R)⊨MCL(\Gamma,\mathbb R)\vDash MC, then for some hod pair (P,Σ)(\mathcal P,\Sigma),

w(Γ)≤w(Code⁡(Σ)).w(\Gamma)\leq w(\operatorname{Code}(\Sigma)).

This conjecture is intended to produce a hod-pair strategy coding sets just beyond a closed pointclass, and is one of the three conjectural ingredients in the proposed proof of Mouse Capturing. Its notions are described by the source as somewhat informal.

References

Primary source

Grigor Sargsyan, “Descriptive inner model theory”, arXiv:1206.2712 (2012).

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.