Stacking mice

DOI10.2178/jsl/1231082314zbMath1161.03031OpenAlexW4240551209MaRDI QIDQ3616355

R. B. Jensen, Ernest Schimmerling, Ralf-Dieter Schindler, J. R. Steel

Publication date: 25 March 2009

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

Full work available at URL: https://doi.org/10.2178/jsl/1231082314

zbMATH Keywords

inner modelstrong cardinalsWoodin cardinalsweak covering theorem

Mathematics Subject Classification ID

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

Related Items (29)

On -Strongly Measurable Cardinals ⋮ Strong unfoldability, shrewdness and combinatorial consequences ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ VARSOVIAN MODELS I ⋮ Hod mice and the Mouse Set Conjecture ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Determinacy axioms and large cardinals ⋮ Strong tree properties, Kurepa trees, and guessing models ⋮ A premouse inheriting strong cardinals from \(V\) ⋮ A note on the normal filters extension property ⋮ SQUARE WITH BUILT-IN DIAMOND-PLUS ⋮ Reflection principles, GCH and the uniformization properties ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Generic embeddings associated to an indestructibly weakly compact cardinal ⋮ Perfect subtree property for weakly compact cardinals ⋮ On the consistency strength of the proper forcing axiom ⋮ The combinatorial essence of supercompactness ⋮ Covering with universally Baire operators ⋮ A brief account of recent developments in inner model theory ⋮ Covering with Chang models over derived models ⋮ PFA and guessing models ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Equiconsistencies at subcompact cardinals ⋮ Combinatorial Dichotomies in Set Theory ⋮ Partial strong compactness and squares ⋮ Descriptive inner model theory ⋮ KWithout the Measurable ⋮ The envelope of a pointclass under a local determinacy hypothesis

Cites Work

• Unnamed Item
• Unnamed Item
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Forcing axioms and stationary sets
• Combinatorial principles in the core model for one Woodin cardinal
• Coherent sequences and threads
• The maximality of the core model
• A universal extender model without large cardinals in V
• CHARACTERIZATION OF □_κ IN CORE MODELS
• The domestic levels of \(K^c\) are iterable

This page was built for publication: Stacking mice