Abstract
We study games of length ω2 with moves in ℕ and Borel payoff. These are, e.g., games in which two players alternate turns playing digits to produce a real number in [0, 1] infinitely many times, after which the winner is decided in terms of the sequence belonging to a Borel set in the product space [0,1]ℕ.
The main theorem is that Borel games of length ω2 are determined if, and only if, for every countable ordinal α, there is a fine-structural, countably iterable model of Zermelo set theory with α-many iterated powersets above a limit of Woodin cardinals.
Similar content being viewed by others
References
J. P. Aguilera, S. Müller and P. Schlicht, Long games and σ-projective sets, Annals of Pure and Applied Logic 172 (2021), Article no. 102939.
J. P. Aguilera, Shortening clopen games, Journal of Symbolic Logic, to appear, https://doi.org/10.1017/jsl.2021.2.
J. P. Aguilera and S. Müller, The consistency strength of long projective determinacy, Journal of Symbolic Logic 85 (2020), 338–366.
J. Barwise, Admissible Sets and Structures, Perspectives in Logic, Vol. 7, Springer, Berlin, 1975.
A. Blass, Equivalence of two strong forms of determinacy, Proceedings of the American Mathematical Society 52 (1975), 373–376.
H. M. Friedman, Higher set theory and mathematical practice, Annals of Mathematical Logic 2 (1971), 325–357.
R. Gostanian, Constructible models of subsystems of ZF, Journal of Symbolic Logic 45 (1980), 237–250.
L. Harrington, Analytic determinacy and 0#, Journal of Symbolic Logic 43 (1978), 685–693.
R. B. Jensen, The fine structure of the constructible hierarchy, Annals of Mathematical Logic 4 (1972), 229–308.
A. S. Kechris, E. M. Kleinberg, Y. N. Moschovakis and W. H. Woodin, The axiom of determinacy, strong partition properties and nonsingular measures, in Games, Scales and Suslin Cardinals, The Cabal Seminar, Volume I, Lecture Notes in Logic, Vol. 31, Cambridge University Press, Cambridge, 2008, pp. 333–354.
P. Koellner and W. H. Woodin, Large cardinals from determinacy, in Handbook of Set Theory, Springer, Dordrecht, 2010, pp. 1951–2119.
P. B. Larson, Extensions of the Axiom of Determinacy, draft.
W. J. Mitchell and J. R. Steel, Fine Structure and Iteration Trees, Lecture notes in logic, Vol. 3, Springer, Berlin, 1994.
S. Müller, R. Schindler and W. H. Woodin, Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, Journal of Mathematical Logic 20 (2020), Article no. 1950013.
D. A. Martin, The determinacy of infinitely long games, unpublished.
D. A. Martin, Measurable cardinals and analytic games, Fundamenta Mathematicae 66 (1970), 287–291.
D. A. Martin, Borel determinacy, Annals of Mathematics 102 (1975), 363–371.
D. A. Martin and J. R. Steel, The extent of scales in L(ℝ), in Games, Scales, and Suslin Cardinals. The Cabal Seminar, Volume I, Lecture Notes in Logic, Vol. 31, Cambridge University Press, Cambridge, 2008, pp. 110–120.
D. A. Martin and J. R. Steel, A proof of projective determinacy, Journal of the American Mathematical Society 2 (1989), 71–125.
A. R. D. Mathias, Provident sets and rudimentary set forcing, Fundamenta Mathematicae 230 (2015), 99–148.
Y. N. Moschovakis, Descriptive Set Theory, Mathematical Surveys and Monographs, Vol. 155, American Mathematical Society, Providence, RI, 2009.
Y. N. Moschovakis, Uniformization in a playful universe, Bulletin of the American Mathematical Society 77 (1971), 731–736.
A. Montalbán and R. A. Shore, The limits of determinacy in second-order arithmetic, Proceedings of the London Mathematical Society 104 (2011), 223–252.
I. Neeman, The Determinacy of Long Games, de Gruyter Series in Logic and its Applications, Vol. 7, Walter de Gruyter, Berlin, 2004.
R. Schindler and J. R. Steel, The core model induction, draft.
R. Schindler and M. Zeman, Fine structure, in Handbook of Set Theory, Springer, Dordrecht, 2010, pp. 605–656.
J. R. Steel, An optimal consistency strength lower bound for ADℝ, unpublished.
J. R. Steel, Scales in L(ℝ), in Games, Scales and Suslin Cardinals, The Cabal Seminar, Volume I, Lecture Notes in Logic, Vol. 31, Cambridge University Press, Cambridge, 2008, pp. 130–175.
J. R. Steel, An outline of inner model theory, in Handbook of Set Theory, Springer, Dordrecht, 2010, pp. 1595–1684.
J. R. Steel, Determinateness and Subsystems of Analysis, PhD. thesis, University of California at Berkeley, 1977.
J. R. Steel, Inner models with many Woodin cardinals, Annals of Pure and Applied Logic 65 (1993), 185–209.
J. R. Steel and W. H. Woodin, HOD as a core model, in Ordinal Definability and Recursion Theory. The Cabal Seminar, Volume III, Lecture Notes in Logic, Vol. 43, Cambridge University Press, Cambridge, 2016, pp. 257–346.
J. R. Steel, The Derived Model Theorem, unpublished.
K. Tanaka, Weak axioms of determinacy and subsystems of analysis. I: Δ 02 games, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36 (1990), 481–491.
N. D. Trang., Generalized Solovay Measures, the HOD analysis, and the Core Model Induction, PhD. thesis, University of California at Berkeley, 2013.
P. D. Welch, Weak systems of determinacy and arithmetical quasi-inductive definitions, Journal of Symbolic Logic 76 (2011), 418–436.
T. M. Wilson, Contributions to Descriptive Inner Model Theory, PhD. thesis, University of California at Berkeley, 2012.
W. H. Woodin, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proceedings of the National Academy of Sciences of the United States of America 85 (1988), 6587–6591.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Aguilera, J.P. Long Borel Games. Isr. J. Math. 243, 273–314 (2021). https://doi.org/10.1007/s11856-021-2160-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-021-2160-y