How to win some simple iteration games

DOI10.1016/S0168-0072(96)00013-9zbMath0896.03043arXivmath/9310212MaRDI QIDQ5961723

J. R. Steel, Alessandro Andretta

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 gameiteration treesnon-tame mice

Mathematics Subject Classification ID

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

Related Items (1)

Strong cardinals in the core model

Cites Work

• Inner models with many Woodin cardinals
• A Proof of Projective Determinacy
• The well-foundedness of the Mitchell order
• Iteration Trees
• Unnamed Item
• Unnamed Item

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