How to win some simple iteration games

DOI10.1016/S0168-0072(96)00013-9zbMATH Open0896.03043MaRDI QIDQ5961723FDOQ5961723

Authors Alessandro Andretta, John Steel 

Publication date 1 October 1998

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

inner modelsiteration treesiteration gamenon-tame mice

Mathematics Subject Classification ID

Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: We introduce two new iteration games: the game G, which is a strengthening of the weak iteration game, and the game G+, which is somewhat stronger than G but weaker than the full iteration game of length omega_1. For a countable M elementarily embeddable in some V_{eta}, we can show that II wins G(M,omega_1) and that I does not win the G+(M).

Recommendations

• scientific article; zbMATH DE number 3875257
• Measurable cardinals and the cardinality of Lindelöf spaces
• Determinacy axioms and large cardinals
• Winning strategies in club games and their applications
• The self-iterability of L[E]
• On coherent families of finite-to-one functions
• Playing with Mathias
• A universal extender model without large cardinals in V
• Iteration Trees
• Provably \(\Delta_1\) games

Cites work

• scientific article; zbMATH DE number 5521851 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• A Proof of Projective Determinacy
• Inner models with many Woodin cardinals
• Iteration Trees
• The well-foundedness of the Mitchell order

Cited in

(5)

• A weak Dodd-Jensen lemma
• How to win a game with features
• Strong cardinals in the core model
• How to Win at Tenzi
• scientific article; zbMATH DE number 7626589 (Why is no real title available?)

This page was built for publication: How to win some simple iteration games

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