The stationary set splitting game

DOI10.1002/MALQ.200610054MaRDI QIDQ5387331zbMATH OpenOpenAlexFDO

Authors S. Shelah, Paul Larson

Publication date 8 May 2008

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Ideals and generic elementary embeddings
• The axiom of determinacy, forcing axioms, and the nonstationary ideal

Cited in

(5)

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

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)