Optimality of Neeman's continuously coded length determinacy theorem
Optimality of Neeman's continuously coded length determinacy theorem
Let be the game of continuously coded length, where is a partial function from reals to natural numbers and is a payoff set of sequences of reals. The notation denotes the relevant Borel pointclass, and in the codes means that the set of codes for elements of belongs to that pointclass. Optimality conjecture. If the game is determined for every in the class and every that is in the codes, then there is a model of with a Woodin cardinal and a cardinal that is -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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.