The covering conjecture for iteration sets at Suslin cardinals

Assume AD+V=L(R)AD+V=L({\mathbb{R}}). Let κ<λ<Θ\kappa<\lambda<\Theta, where κ\kappa is either a Suslin cardinal or the successor of a Suslin cardinal. Let ARA\subseteq{\mathbb{R}} be ordinal definable with λγA,\lambda\leq\gamma_{A,\infty}, and let Bκ(λ)B\in{\wp}_\kappa(\lambda). An AA-iteration set is a set Xκ(λ)X\in{\wp}_\kappa(\lambda) such that, for every αX\alpha\in X, there is an AA-iterable Q\mathcal Q with αrng(π(Q,A),)\alpha\in\operatorname{rng}(\pi_{(\mathcal Q,A),\infty}) and

π(Q,A),[γAQ]λX.\pi_{(\mathcal Q,A),\infty}[\gamma_A^{\mathcal Q}]\cap\lambda\subseteq X.

Covering conjecture. For every such λ\lambda, AA, and BB, there is an AA-iteration set Xκ(λ)X\in{\wp}_\kappa(\lambda) such that BXB\subseteq X. This asserts a covering property for subsets of λ\lambda of size less than κ\kappa by iteration sets, under determinacy and the stated inner-model hypothesis. The source provides no evidence of resolution, so the conjecture is recorded as open.

Sources & referencesView supporting material

Primary source

Grigor Sargsyan, “An inner model theoretic proof of Becker's theorem”, arXiv:2110.06314 (2021).

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.