Jonsson Cardinals, Erdos Cardinals, and the Core Model
Mitchell, W. J.
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 1065-1086 / Harvested from Project Euclid
We show that if there is no inner model with a Woodin cardinal and the Steel core model K exists, then every Jonsson cardinal is Ramsey in K, and every $\delta$-Jonsson cardinal is $\delta$-Erdos in K. In the absence of the Steel core model K we prove the same conclusion for any model L$[\mathscr{E}]$ such that either V = L$[\mathscr{E}]$ is the minimal model for a Woodin cardinal, or there is no inner model with a Woodin cardinal and V is a generic extension of L$[\mathscr{E}]$. The proof includes one lemma of independent interest: If V = L$[\mathscr{A}]$, where A $\subset$ $\kappa$ and $\kappa$ is regular, then L$_\kappa$[A] is a Jonsson algebra. The proof of this result, Lemma 2.5, is very short and entirely elementary.
Publié le : 1999-09-14
Classification: 
@article{1183745870,
     author = {Mitchell, W. J.},
     title = {Jonsson Cardinals, Erdos Cardinals, and the Core Model},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 1065-1086},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745870}
}
Mitchell, W. J. Jonsson Cardinals, Erdos Cardinals, and the Core Model. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  1065-1086. http://gdmltest.u-ga.fr/item/1183745870/