What I know so far is that:

The Continuum Hypothesis (CH) states $\nexists\mathbb{S}|\beth_0<|S|<\beth_1$

- $\beth_0$ being equal to $\aleph_0$, and $\beth_n$ being equal to $2^{\beth_{n-1}}$ for $n \ge 1$

The Generalized Continuum Hypothesis (GCH) states that $\forall n\in \mathbb{N} \nexists\mathbb{S}|\beth_n<|S|<\beth_{n+1}$

- (
**EDIT**: for any ordinal, not just the natural numbers)

- (
Both CH and GCH are independent of ZFC. CH obviously follows GCH, but GCH is independent of ZFC+CH

GCH can be divided into an infinite number of statements, those being:

$\nexists\mathbb{S}|\beth_0<|S|<\beth_1$

- This is the Continuum Hypothesis. But I'll be calling it the First Continuum Hypothesis, $1$CH

$\nexists\mathbb{S}|\beth_1<|S|<\beth_2$. The Second Continuum Hypothesis, $2$CH.

$\nexists\mathbb{S}|\beth_2<|S|<\beth_3$ $3$CH.

In general, for all $n$, $n$CH states $\nexists\mathbb{S}|\beth_{n-1}<|S|<\beth_n$

**EDIT 2**: The part in italics turns out not to be true, as the statement $|\mathbb{A}|<|\mathbb{B}| \implies |\mathcal{P}(\mathbb{A})|<|\mathcal{P}(\mathbb{B})|$, though intuitive, is actually independent of ZFC.

*( EDIT: I thought the below step was valid, but I was assuming that $|\mathbb{A}|<|\mathbb{B}| \implies |\mathcal{P}(\mathbb{A})|<|\mathcal{P}(\mathbb{B})|$ and although that seems intuitive, I've not been able to prove it)*

(*I can also show that given a statement $n$CH, $k$CH holds for all $k<n$. This is because if $\exists\mathbb{S}|\beth_{k-1}<|S|<\beth_k$, (not-kCH) then $\beth_{k}<|\mathcal{P}(S)|<\beth_{k+1}$ (not-(k+1)CH), and this would cascade upwards to any $n$.*)

--

*(My question is, is each $n$CH independent of ZFC+$(n-1)$CH? Or do any of the Continuum Hypotheses imply higher ones?)*

(**EDIT 2** The original framing of the question made a wrong assumption. The above in italics is the original, the below is the new version. I kept $n$ for a consistent convention even though it represents an ordinal, not necessarily a natural number.)

My question is, is each $n$CH independent of every other under ZFC? Or do some of the Continuum Hypotheses imply some others?