The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\) (Q1120570)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\) |
scientific article |
Statements
The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\) (English)
0 references
1989
0 references
The author proves that if the existence of a measurable cardinal \(\kappa\) with \(o(\kappa)=\kappa^{++}\) is consistent, then it is consistent that there is an elementary embedding j: \(V\to M\), \(crit(j)=\kappa\), M closed under \(\kappa\)-sequences, and for some f: \(\kappa\) \(\to \kappa\), \(j(f)(\kappa)=\kappa^{++}\). With earlier results of Woodin, this gives that the consistency of a \(\kappa\) with \(o(\kappa)=\kappa^{++}\) implies the consistency of \(2^{\kappa}=\kappa^{++}\) for some measurable \(\kappa\), and also the consistency of \(2^{\aleph_{\omega}}=\aleph_{\omega +2}\) and \(\aleph_{\omega}\) strong limit. The first implication is actually equivalence.
0 references
large cardinal forcing
0 references
Mitchell order
0 references
GCH failure at a measurable
0 references
cardinal
0 references