DMCA
Square in core models (2001)
Cached
Download Links
- [www.math.cmu.edu]
- [arxiv.org]
- [arxiv.org]
- DBLP
Other Repositories/Bibliography
| Venue: | Bull. Symbolic Logic |
| Citations: | 29 - 8 self |
BibTeX
@ARTICLE{Schimmerling01squarein,
author = {E. Schimmerling and J. R. Steel},
title = {Square in core models},
journal = {Bull. Symbolic Logic},
year = {2001},
volume = {7},
pages = {305--314}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Our main results are: 1) every countably certified extender that coheres with the core model K is on the extender sequence of K, 2)Kcomputes successors of weakly compact cardinals correctly, 3) every model on the maximal 1-small construction is an iterate of K, 4) (joint with W. J. Mitchell) K�κ is universal for mice of height ≤ κ whenever κ ≥ℵ2,5)ifthereisaκ such that κ is either a singular countably closed cardinal or a weakly compact cardinal, and � <ω κ fails, then there are inner models with Woodin cardinals, and 6) an ω-Erdös cardinal suffices to develop the basic theory of K. 1.
