Stacking mice

Journal of Symbolic Logic 74 (1):315-335 (2009)
We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal k ≥ N₃ such that □k and □(k) fail. 2) There is a cardinal k such that k is weakly compact in the generic extension by Col(k, k⁺). Of special interest is 1) with k = N₃ since it follows from PFA by theorems of Todorcevic and Velickovic. Our main new technical result, which is due to the first author, is a weak covering theorem for the model obtained by stacking mice over $K^c ||k.$
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1231082314
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,645
Through your library
References found in this work BETA
Combinatorial Principles in the Core Model for One Woodin Cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
Characterization of □Κin Core Models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.

Add more references

Citations of this work BETA
The Combinatorial Essence of Supercompactness.Christoph Weiß - 2012 - Annals of Pure and Applied Logic 163 (11):1710-1717.
Generic Embeddings Associated to an Indestructibly Weakly Compact Cardinal.Gunter Fuchs - 2010 - Annals of Pure and Applied Logic 162 (1):89-105.
The Envelope of a Pointclass Under a Local Determinacy Hypothesis.Trevor M. Wilson - 2015 - Annals of Pure and Applied Logic 166 (10):991-1018.

Add more citations

Similar books and articles
A Weak Dodd-Jensen Lemma.Itay Neeman & John Steel - 1999 - Journal of Symbolic Logic 64 (3):1285-1294.
The Fine Structure of Real Mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.
The Abc's of Mice.Ernest Schimmerling - 2001 - Bulletin of Symbolic Logic 7 (4):485-503.
The Self-Iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
Of Men and Mice.Roger Caldwell - 2003 - Philosophy Now 42:34-34.
Of Mice and Men.Randolph M. Feezell - 1984 - Modern Schoolman 61 (4):259-265.
Deconstructing Inner Model Theory.Ralf-Dieter Schindler, John Steel & Martin Zeman - 2002 - Journal of Symbolic Logic 67 (2):721-736.
Dudman and the Plans of Mice and Men.Ross Cogan - 1998 - Philosophical Quarterly 48 (190):88-95.

Monthly downloads

Added to index


Total downloads

14 ( #319,700 of 2,143,470 )

Recent downloads (6 months)

1 ( #386,634 of 2,143,470 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums