Blowing up the power of a singular cardinal (Q1919551): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1996153963 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/9404204 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On hidden extenders / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4694295 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extender based forcings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Indiscernible sequences for extenders, and the singular cardinal hypothesis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The covering lemma up to a Woodin cardinal / rank | |||
Normal rank |
Latest revision as of 13:39, 24 May 2024
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