IN INNER MODELS WITH WOODIN CARDINALS

DOI10.1017/jsl.2021.61zbMath1505.03099arXiv2004.09201OpenAlexW3195036665MaRDI QIDQ5015717

Grigor Sargsyan, Sandra Müller

Publication date: 9 December 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

determinacylarge cardinalinner model theorymouseHODWoodin cardinal

Mathematics Subject Classification ID

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

Related Items (2)

THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Determinacy axioms and large cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Inner models with many Woodin cardinals
• Set-theoretic geology
• On the Prewellorderings Associated with the Directed Systems of Mice
• An Outline of Inner Model Theory
• Large Cardinals from Determinacy
• The self-iterability of L[E]
• Core models in the presence of Woodin cardinals
• Thin collections of sets of projective ordinals and analogs of L
• VARSOVIAN MODELS I
• The downward directed grounds hypothesis and very large cardinals
• Set Theory
• OPTIMAL PROOFS OF DETERMINACY II
• HOD^L(ℝ) is a Core Model Below Θ
• Optimal Proofs of Determinacy
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• HODas a core model

This page was built for publication: IN INNER MODELS WITH WOODIN CARDINALS