Stacking mice

DOI10.2178/JSL/1231082314MaRDI QIDQ3616355zbMATH OpenOpenAlexFDO

Authors Ronald Jensen, Ernest Schimmerling, Ralf Schindler, John Steel

Publication date 25 March 2009

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

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

zbMATH Keywords

Woodin cardinalsinner modelstrong cardinalsweak covering theorem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1548940
• scientific article; zbMATH DE number 994189
• Fine structure for tame inner models
• Collapsing the cardinals of HOD
• Successive weakly compact or singular cardinals

Cites work

• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• A universal extender model without large cardinals in V
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Coherent sequences and threads
• Combinatorial principles in the core model for one Woodin cardinal
• Forcing axioms and stationary sets
• The domestic levels of \(K^c\) are iterable
• The maximality of the core model
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions

Cited in

(31)

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

This page was built for publication: Stacking mice

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