Determinacy separations for class games

Archive for Mathematical Logic 58 (5-6):635-648 (2019)
  Copy   BIBTEX

Abstract

We show, assuming weak large cardinals, that in the context of games of length \ with moves coming from a proper class, clopen determinacy is strictly weaker than open determinacy. The proof amounts to an analysis of a certain level of L that exists under large cardinal assumptions weaker than an inaccessible. Our argument is sufficiently general to give a family of determinacy separation results applying in any setting where the universal class is sufficiently closed; e.g., in third, seventh, or \\)th order arithmetic. We also prove bounds on the strength of Borel determinacy for proper class games. These results answer questions of Gitman and Hamkins.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Shortening clopen games.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1541-1554.
Games of length ω1.Itay Neeman - 2007 - Journal of Mathematical Logic 7 (1):83-124.
Long games and σ-projective sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.
Projective Games on the Reals.Juan P. Aguilera & Sandra Müller - 2020 - Notre Dame Journal of Formal Logic 61 (4):573-589.
The Determinacy of Context-Free Games.Olivier Finkel - 2013 - Journal of Symbolic Logic 78 (4):1115-1134.
An extension of borel determinacy.Donald A. Martin - 1990 - Annals of Pure and Applied Logic 49 (3):279-293.
Games and reflection in.J. P. Aguilera - 2020 - Journal of Symbolic Logic 85 (3):1102-1123.
Playing in the first Baire class.Raphaël Carroy - 2014 - Mathematical Logic Quarterly 60 (1-2):118-132.

Analytics

Added to PP
2019-01-02

Downloads
18 (#825,698)

6 months
7 (#592,867)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Transfinite recursion in higher reverse mathematics.Noah Schweber - 2015 - Journal of Symbolic Logic 80 (3):940-969.

View all 8 references / Add more references