Optimality of Neeman's continuously coded length determinacy theorem

Let Gcont(ν,A)G_{\operatorname{cont}}(\nu,A) be the game of continuously coded length, where ν\nu is a partial function from reals to natural numbers and AA is a payoff set of sequences of reals. The notation Σ20\boldsymbol\Sigma^0_2 denotes the relevant Borel pointclass, and <ω2Π11{<}\omega^2-\boldsymbol\Pi^1_1 in the codes means that the set of codes for elements of AA belongs to that pointclass. Optimality conjecture. If the game Gcont(ν,A)G_{\operatorname{cont}}(\nu,A) is determined for every ν\nu in the class Σ20\boldsymbol\Sigma^0_2 and every AA that is <ω2Π11{<}\omega^2-\boldsymbol\Pi^1_1 in the codes, then there is a model of ZFC{\mathsf{ZFC}} with a Woodin cardinal δ\delta and a cardinal κ<δ\kappa<\delta that is (δ+1)(\delta+1)-strong. This would show that the large-cardinal hypothesis in Neeman's determinacy theorem is optimal, complementing the known forward implication; the exact consistency strength of the determinacy assumption remains conjectural.

Sources & referencesView supporting material

Primary source

Sandra Müller, “Determinacy and Large Cardinals”, arXiv:2302.02248 (2023).

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.