Stacking mice

DOI10.2178/JSL/1231082314zbMATH Open1161.03031OpenAlexW4240551209MaRDI QIDQ3616355FDOQ3616355

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

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

zbMATH Keywords

Woodin cardinalsinner modelstrong cardinalsweak covering theorem

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (31)

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

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)