The Singular Cardinal Hypothesis (SCH) is the statement that $\kappa^{cf(\kappa)} = \kappa^+ \cdot 2^{cf(\kappa)}$ for every singular cardinal $\kappa$ (or various equivalent statements).
It is obviously implied by the Generalized Continuum Hypothesis. It is also implied by the Proper Forcing Axiom (under which $2^{\aleph_0} = \aleph_2$). Nonetheless it doesn't seem terribly compelling to me. But I am trying to learn to appreciate it!
Why should I believe SCH? (Now when I say "believe," it isn't clear exactly what I mean by that. There are obviously plenty of models of set theory in which SCH holds, and they are certainly worth studying, but somehow they aren't the models that feel most "realistic" in my little head.) What I want is an answer in the style of Maddy's Believing the axioms, explaining why I should "like" (or not) this hypothesis.
Some thoughts on why SCH isn't so unreasonable:
-
Somehow I find very compelling the result that SCH holds above the first strongly compact cardinal. This is what makes it seem most reasonable to me that SCH should hold everywhere.
-
SCH is implied by various contradictory axioms. Its negation is equiconsistent with the existence of a fairly large cardinal.
-
It is obvious that $\kappa^{cf(\kappa)} \geq \kappa^+ \cdot 2^{cf(\kappa)}$, so SCH is just saying that the cardinality on the left shouldn't be any larger than strictly necessary.
-
It makes cardinal arithmetic much easier! (But maybe this is an argument against SCH too…)
Why else should SCH seem reasonable?
Best Answer
Solovay proved in ZFC that all instances of the SCH hold above any strongly compact cardinal. Thus, you should believe the eventual SCH to at least the extent that you believe in the very large large cardinals, which I believe are discussed by Maddy in the context of believing in the axioms.