A Cardinal Structure Theorem for an Ultrapower
Canadian mathematical bulletin, Tome 28 (1985) no. 4, pp. 472-473
Voir la notice de l'article provenant de la source Cambridge University Press
In this note, we construct a model with a normal measure U over a measurable cardinal κ so that the cardinal structures of V and V κ/U are the same ≤2κ. We then show that it is possible to construct a model where this is not true.
A Cardinal Structure Theorem for an Ultrapower. Canadian mathematical bulletin, Tome 28 (1985) no. 4, pp. 472-473. doi: 10.4153/CMB-1985-057-6
@misc{10_4153_CMB_1985_057_6,
title = {A {Cardinal} {Structure} {Theorem} for an {Ultrapower}},
journal = {Canadian mathematical bulletin},
pages = {472--473},
year = {1985},
volume = {28},
number = {4},
doi = {10.4153/CMB-1985-057-6},
url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1985-057-6/}
}
[1] 1. Laver, R., Making the Supercompactness of ĸ Indestructible under ĸ-Directed Closed Forcing, Israel J. Math. 29(4), (1978) pp. 385–388. Google Scholar
[2] 2. Menas, T.K., On Strong Compactness and Supercompactness, Annals of Math. Logic, 7, (1975), pp. 327–359. Google Scholar
Cité par Sources :