Determinacy for Games Ending at the First Admissible Relative to the Play

Journal of Symbolic Logic 71 (2):425 - 459 (2006)
  Copy   BIBTEX

Abstract

Let o(κ) denote the Mitchell order of κ. We show how to reduce long games which run to the first ordinal admissible in the play, to iteration games on models with a cardinal κ so that (1) κ is a limit of Woodin cardinals: and (2) o(κ) = κ⁺⁺. We use the reduction to derive several optimal determinacy results on games which run to the first admissible in the play

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1146620151

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

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

Through your library

My notes

Similar books and articles

On unfoldable cardinals, ω-closed cardinals, and the beginning of the inner model hierarchy.P. D. Welch - 2004 - Archive for Mathematical Logic 43 (4):443-458.
Admissible suslin cardinals in l(r).Steve Jackson - 1991 - Journal of Symbolic Logic 56 (1):260 - 275.
Chain models, trees of singular cardinality and dynamic ef-games.Mirna Džamonja & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):61-85.
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
κ-Stationary Subsets of Pκ+Λ, Infinitary Games, and Distributive Laws in Boolean Algebras.Natasha Dobrinen - 2008 - Journal of Symbolic Logic 73 (1):238 - 260.
On splitting stationary subsets of large cardinals.James E. Baumgartner, Alan D. Taylor & Stanley Wagon - 1977 - Journal of Symbolic Logic 42 (2):203-214.
Identity crises and strong compactness.Arthur Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Indestructibility, instances of strong compactness, and level by level inequivalence.Arthur W. Apter - 2010 - Archive for Mathematical Logic 49 (7-8):725-741.
Completeness of Infinitary Heterogeneous Logic.Christian Espíndola - 2025 - Notre Dame Journal of Formal Logic -1:1-17.

Analytics

Added to PP
2010-08-24

Downloads
30 (#757,175)

6 months
12 (#308,345)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Unraveling Π11 sets.Itay Neeman - 2000 - Annals of Pure and Applied Logic 106 (1-3):151-205.
Determinacy in the Mitchell models.John R. Steel - 1982 - Annals of Mathematical Logic 22 (2):109.

Add more references