Blowing up the power of a singular cardinal (Q1919551)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Blowing up the power of a singular cardinal |
scientific article |
Statements
Blowing up the power of a singular cardinal (English)
0 references
4 November 1996
0 references
Suppose that \(\kappa\) is a singular cardinal of cofinality \(\omega\). We like to blow up its power. Overlapping extenders were used for this purpose by the author and \textit{M. Magidor} [J. Symb. Log. 59, 445-460 (1994; Zbl 0820.03032)]. On the other hand, it is shown by the author and \textit{W. Mitchell} [``Indiscernible sequences for extenders and the singular cardinal hypothesis'' (to appear)] that it is necessary to have for every \(n < \omega\) unboundedly many \(\alpha\)'s in \(\kappa\) with \(o(\alpha) \geq \alpha^{+n}\). The aim of the present paper is to show that this assumption is also sufficient. Ideas of the author [``On hidden extenders'', Arch. Math. Logic (to appear)] will be extended in order to produce \(\kappa^{++}\) \(\omega\)-sequences. The author [loc. cit.] constructed an \(\omega\)-sequence corresponding to two different sequences of measures. Here we would like to construct many \(\omega\)-sequences corresponding to the same sequence of measures. The first stage will be to force with a forcing which produces \(\kappa^{++}\) Prikry sequences but the cost is that \(\kappa^{++}\) is collapsed. Then a projection of this forcing will be defined such that the resulting forcing will still have \(\kappa^{++}\) Prikry sequences but also satisfy \(\kappa^{++}\)-c.c. and preserve \(\kappa\) strong limit cardinal. In particular, we obtain the following result: There exists a cofinality preserving generic extension of a model \(L[A]\) satisfying \(2^\kappa = \kappa^{++}\), where \(A\) is a subset of a singular cardinal \(\kappa\).
0 references
omega-sequences
0 references
singular cardinal
0 references
forcing
0 references
Prikry sequences
0 references
strong limit cardinal
0 references
cofinality preserving generic extension of a model
0 references