The stationary set splitting game

DOI10.1002/MALQ.200610054zbMATH Open1140.03035arXiv1003.2425OpenAlexW1995039725MaRDI QIDQ5387331FDOQ5387331

Authors: S. Shelah, Paul Larson 

Publication date: 8 May 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Abstract: The emph{stationary set splitting game} is a game of perfect information of length $omeg{a}_1$ between two players, unspls and spl, in which unspls chooses stationarily many countable ordinals and spls tries to continuously divide them into two stationary pieces. We show that it is possible in ZFC to force a winning strategy for either player, or for neither. This gives a new counterexample to $Sigm{a}_2^2$ maximality with a predicate for the nonstationary ideal on $omeg{a}_1$, and an example of a consistently undetermined game of length $omeg{a}_1$ with payoff definable in the second-order monadic logic of order. We also show that the determinacy of the game is consistent with Martin's Axiom but not Martin's Maximum.

Full work available at URL: https://arxiv.org/abs/1003.2425

Recommendations

• Game ideals
• Nonsplitting subset of _κ(κ⁺)
• Splitting stationary sets in \(\mathcal P(\lambda )\)
• A game on partial orderings
• Winning the pressing down game but not Banach-Mazur

zbMATH Keywords

definable determinacygames of uncountable length

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Determinacy principles (03E60)

Cites Work

• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Title not available (Why is that?)
• Ideals and generic elementary embeddings

Cited In (5)

• Selection in the monadic theory of a countable ordinal
• The Subset Sum game
• Abstract elementary classes stable in \(\aleph_{0}\)
• Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
• Regular embeddings of the stationary tower and Woodin's maximality theorem

This page was built for publication: The stationary set splitting game

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387331)