The Generation of Closed Pointclasses

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.

Sources & referencesView supporting material

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.