Core models in the presence of Woodin cardinals

Schindler, Ralf

Schindler, Ralf

J. Symbolic Logic, Tome 71 (2006) no. 1, p. 1145-1154 / Harvested from Project Euclid

Résumé

Let 0 < n <ω. If there are n Woodin cardinals and a measurable cardinal above, but M_n+1^# doesn’t exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K.

Publié le : 2006-12-14
Classification:

@article{1164060449,
     author = {Schindler, Ralf},
     title = {Core models in the presence of Woodin cardinals},
     journal = {J. Symbolic Logic},
     volume = {71},
     number = {1},
     year = {2006},
     pages = { 1145-1154},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1164060449}
}

Schindler, Ralf. Core models in the presence of Woodin cardinals. J. Symbolic Logic, Tome 71 (2006) no. 1, pp.  1145-1154. http://gdmltest.u-ga.fr/item/1164060449/