Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

DOI10.1142/S0219061319500132zbMath1486.03086arXiv1902.05890OpenAlexW2961053832MaRDI QIDQ4988870

W. Hugh Woodin, Sandra Müller, Ralf-Dieter Schindler

Publication date: 20 May 2021

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

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

zbMATH Keywords

inner modeldeterminacymouseWoodin cardinalprojective determinacy

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Related Items

Maximal almost disjoint families, determinacy, and forcing ⋮ Long games and \(\sigma \)-projective sets ⋮ CONSTRUCTING WADGE CLASSES ⋮ Forcing the Σ31-separation property ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ Determinacy axioms and large cardinals ⋮ Projective games on the reals ⋮ Long Borel games ⋮ On Borel semifilters ⋮ IN INNER MODELS WITH WOODIN CARDINALS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The covering lemma up to a Woodin cardinal
• The strict determinateness of certain infinite games
• A criterion for coarse iterability
• Borel determinacy
• Inner models with many Woodin cardinals
• Projectively well-ordered inner models
• Weak covering without countable closure
• Set theory. Exploring independence and truth
• KWithout the Measurable
• On the Prewellorderings Associated with the Directed Systems of Mice
• Fine Structure
• An Outline of Inner Model Theory
• A Core Model Toolbox and Guide
• Large Cardinals from Determinacy
• Deconstructing inner model theory
• The self-iterability of L[E]
• On the Relative Consistency Strength of Determinacy Hypothesis
• A Proof of Projective Determinacy
• The non-existence of $Σ^1_2$ well-orderings of the Cantor set
• Analytic determinacy and 0^#
• The perfect set theorem and definable wellorderings of the continuum
• Iteration Trees
• Coding into 𝐾 by reasonable forcing
• Set Theory
• OPTIMAL PROOFS OF DETERMINACY II
• Optimal Proofs of Determinacy
• HODas a core model
• A universal extender model without large cardinals in V
• On the Lebesgue measurability and the axiom of determinateness
• Foundations of Mathematics
• Measurable cardinals and analytic games
• Uniformization in a playful universe
• The fine structure of the constructible hierarchy