Minimal Generalized Continuum Hypothesis & Axiom of Choice

It is well known that working in the frame of $\text{ZF}$, the Generalized Continuum Hypothesis ($\text{GCH}$) implies the Axiom of Choice ($\text{AC}$), i.e. $\text{ZF}+\text{GCH}\vdash \text{AC}$.

But if we consider $\text{GCH}$ as a theory with ordinal many statements like $\text{GCH}=\{\text{CH}_{\alpha}~|~\alpha\in \text{Ord}\}$ such that $\text{CH}_{\alpha}$ is the statement $2^{\aleph_{\alpha}}=\aleph_{\alpha +1}$, then there is a natural question as follows:

Is assuming all of these strong statements really necessary to prove a weak proposition like Axiom of Choice?

Precisely:

Question (1): Is there a class $\text{C}\subsetneq \text{Ord}$ such that:

(a) The assumption $\{\text{CH}_{\alpha}~|~\alpha\in \text{C}\}$ is strictly weaker than the assumption $\{\text{CH}_{\alpha}~|~\alpha\in \text{Ord}\}$, i.e.

$\text{ZF}+\forall \alpha\in \text{C}~~~\text{CH}_{\alpha}\nvdash \forall \alpha\in \text{Ord}~~~\text{CH}_{\alpha}$

(b) The assumption $\{\text{CH}_{\alpha}~|~\alpha\in \text{C}\}$ is sufficient to prove $\text{AC}$, i.e.

$\text{ZF}+\forall \alpha\in \text{C}~~~\text{CH}_{\alpha}\vdash \text{AC}$

Question (2): If the answer of the question (1) is positive, can we choose $\text{C}$ to be a set not a proper class?

Question (3): What are the minimal classes (by inclusion order) like $\text{C}$ in the question (1)?

-
It seems like everywhere you say $\{\text{CH}_\alpha \mid \alpha \in \text{Ord}\}$ or $\{\text{CH}_\alpha \mid \alpha \in C\}$ you mean $\forall \alpha \in \text{Ord}\,\text{CH}_\alpha$ or $\forall \alpha \in C\,\text{CH}_\alpha$ respectively. The former two notions don't make any sense, as Lawrence Wong has pointed out below, and the latter two notions are what you are using in (a) and (b) anyway (after the "i.e.") –  Trevor Wilson Nov 30 '13 at 17:20
@TrevorWilson: Of course theories with class many sentences are not meaningful. I used this special notation just because I want to emphasize on looking at single statement $\text{GCH}$ as a theory with class many sentences. Obviously when we want to write it formally we should use legitimated notation like what I used in (a) and (b). –  user42090 Dec 1 '13 at 4:04

All you need for AC in the standard argument from GCH is that the GCH holds for an unbounded class of cardinals. The reason is that this is sufficient to conclude that any set of sets of ordinals is well-orderable, and this is sufficient to imply AC.

So the answer to question 1 is yes; any unbounded class $C$ suffices.

Meanwhile, merely knowing the GCH holds for cardinals below some cardinal is insufficient, since one can build the analogue of the symmetric models for $\neg\text{AC}$ above any cardinal, while preserving GCH below. Thus, there also can be no minimal $C$, since every sufficient $C$ is unbounded, and we may omit any proper initial segment of it and still have a sufficient $C$.

-
Does that "standard argument" for AC from GCH depend on the axiom of foundation? Is it true that, in the absence of the axiom of foundation, $2^{\aleph_{\alpha}}=\aleph_{\alpha+1}$ is not enough to prove AC, but you need the general GCH which says that there are no infinite cardinals $m$ and $n$ such that $m\lt n\lt2^m$? –  bof Nov 30 '13 at 4:52
I had in mind just the usual argument in ZF, which uses foundation. –  Joel David Hamkins Nov 30 '13 at 4:59
@bof It is indeed the case that the proof of AC from $(\forall\alpha)\,\text{CH}_\alpha$ requires the axiom of foundation. If you begin with a ZFC universe satisfying GCH and build a Fraenkel-Mostowski-Specker permutation model over it, then that model will still satisfy $(\forall\alpha)\,\text{CH}_\alpha$. (Specker is important here, to make the atoms violate foundation rather than extensionality.) –  Andreas Blass Nov 30 '13 at 5:37
@AndreasBlass Thanks. When did "generalized continuum hypothesis" come to mean $\forall\alpha)\,\text{CH}_\alpha$ instead of "no cardinals between $m$ and $2^m$ unless $m$ is finite"? –  bof Nov 30 '13 at 5:50
@bof I'm not aware of any general convention as to what "GCH" should mean in the absence of AC. Of course, the issue comes up only in contexts (like the present one) where one can't take for granted that (just about any form of) GCH implies AC. So, in such situations, I would recommend not using "GCH" without some clarification of which version is intended. (The same recommendation applies to CH, even more strongly since CH doesn't imply AC.) –  Andreas Blass Nov 30 '13 at 14:38

Let me add on Joel's answer and point out that in fact in $\sf ZF$ the following weakening of $\sf GCH$ holds:

For every $A$, if $A$ is well-orderable, then $\mathcal P(A)$ is well-orderable $\implies$ The Axiom of Choice.

From the above it is immediate that if there is a proper class of $\alpha$ such that $2^{\aleph_\alpha}=\aleph_{\alpha+1}$, then the axiom of choice holds. The proof is due to Herman Rubin.

One should note, however, that without the axiom of choice $\sf GCH$ can often be taken as "For every infinite set $A$, there is no $X$ such that $|A|<|X|<|\mathcal P(A)|$". This too implies the axiom of choice, and therefore the statement $\forall\alpha(2^{\aleph_\alpha}=\aleph_{\alpha+1})$.

The proofs that I know of the implications are different in nature. When assuming the weaker principle which is only for $\aleph$ numbers (or its weakening mentioned above), the proof usually goes by transfinite induction to show that every $V_\alpha$ is well-ordered and conclude the axiom of choice. When assuming that there is no intermediate cardinal between an infinite set and its power set, the proof usually goes to show that every set can be injected into its Hartogs number and therefore can be well-ordered.

-
In your displayed implication, you want a quantifier over $A$. –  Joel David Hamkins Nov 30 '13 at 12:55
Yes, thank you Joel. –  Asaf Karagila Nov 30 '13 at 14:29
Dear Assaf, in "math.stackexchange.com/questions/200944/…; you have stated that Magidor has a list of open problems. Do you have them? –  Mohammad Golshani Dec 1 '13 at 9:28
@Mohammad: No, before he left to Fields last year I told him he should make such list, and he seemed positive about this idea, but he never really did it. Despite me reminding him several times since then. I'll see if I can find him on campus this week and ask him again. (Also, you keep writing Assaf, where my name is Asaf. :-)) –  Asaf Karagila Dec 1 '13 at 9:34
Sorry for the mistake, –  Mohammad Golshani Dec 1 '13 at 9:38

Sorry, this should be a comment to the question, but I don't have enough reputation to post a comment.

What is $\{\mathrm{CH}_\alpha:\alpha\in\mathrm{Ord}\}$ actually? The language for set theory is countable, and so there cannot be ordinally many different sentences. Or are we assuming there is an intended (set) model of set theory at the back of our mind?

-
While the language is countable, we can talk about parameterizied formulas. Here $\alpha$ is a parameter. –  Asaf Karagila Nov 30 '13 at 10:05
@Asaf How is this any different from specifying a single universally quantified formula? –  Adam Epstein Nov 30 '13 at 10:49
@Adam: It's not, really. But if you want to start talking about subclasses then it makes a difference. Moreover, you can say something like "There exists an ordinal such that ..." which specifies existence of ordinals satisfying the formula; but it doesn't explicitly points out which ordinals these are. –  Asaf Karagila Nov 30 '13 at 11:18
@Asaf I think I am still confused. Could you give a syntactically explicit example illustrating this difference? –  Adam Epstein Nov 30 '13 at 11:52
Yes, I agree that it is worse than that. I had in mind that even if one might augment the theory asserting all the $\text{CH}_\alpha$ with the assertions that every such $\alpha$ is an ordinal, and that they are all distinct, and in the right order, etc., but nevertheless the compactness argument shows that all those assertions plus the $\text{CH}_\alpha$ do not together imply the GCH. –  Joel David Hamkins Nov 30 '13 at 18:02