Stacking mice
From MaRDI portal
Publication:3616355
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
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
