It's well known that, if GCH holds, then every cardinal can be well-ordered. However, I'm sure we don't need full power of GCH to prove it for specific cardinal, e.g. continuum. I have been wondering, what is the minimum amount cardinal numbers $A$ for which non-existence of cardinal $B$ with $A<B<2^A$ guarantees that $\frak{c}$ can be well ordered (or, simplier, GCH for which cardinals already implies existence of well-ordering of $\frak{c}$)? By looking through the proof I think it's enough for it to hold for $A\in\{\mathbb{R},2^\mathbb{R},2^{2^\mathbb{R}}\}$.


Thanks in advance for help!



How much of GCH do we need to guarantee well-ordering of continuum?
Yes, you are right. This is a theorem of Specker. If there are no intermediate cardinals between $A,\mathcal P(A)$ and $\mathcal{P(P(}A))$, then $A$ can be well-ordered.


You can find nice details in:



> 
> Akihiro Kanamori, David Pincus, "**Does GCH imply AC locally?**, in "Paul Erdős and his mathematics, II (Budapest, 1999)", Bolyai Soc. Math. Stud., 11, János Bolyai Math. Soc., Budapest, (2002), 413–426.
> 
> 
> 


[Link to the paper on Kanamori's website](http://math.bu.edu/INDIVIDUAL/aki/7.pdf).


And on [this relevant thread](https://mathoverflow.net/questions/102733/comparability-implies-well-orderability).




---


I had discussed this answer with [Yair Hayut](https://mathoverflow.net/users/41953/yair-hayut) earlier this evening, and then I noticed the following peculiar thing.


Suppose that $\sf CH$ holds for $\Bbb R$ and $\aleph\_1$, then $2^{\aleph\_0}=\aleph\_1$ or $2^{\aleph\_0}=\aleph\_2$. In either case, it is well-orderable.


1. First we observe that since there is a definable surjection from $\Bbb R$ onto $\omega\_1$, it is necessarily the case that $\aleph\_1$ and $2^{\aleph\_1}$ are both $\leq2^{2^{\aleph\_0}}$, with $\aleph\_1$ being strictly smaller. Therefore $\aleph\_1\leq2^{\aleph\_0}\leq2^{\aleph\_1}\leq2^{2^{\aleph\_0}}$, but our assumptions tell us it is impossible that all three are strict inequalities. Either the middle one is equality, or both the left and right ones are equality (but not both, of course).
2. If $2^{\aleph\_0}<2^{\aleph\_1}$, then we have that $\aleph\_1\leq2^{\aleph\_0}<2^{\aleph\_1}$, and therefore $2^{\aleph\_0}=\aleph\_1$.
3. If $2^{\aleph\_1}=2^{\aleph\_0}$ then $\aleph\_2<2^{2^{\aleph\_0}}$ (since there is a definable surjection from $2^{\omega\_1}$ onto $\omega\_2$, so by this assumption there is a surjection from $\Bbb R$ onto $\omega\_2$). If $2^{\aleph\_0}$ and $\aleph\_2$ are incomparable then we get $2^{\aleph\_0}<2^{\aleph\_0}+\aleph\_2<2^{2^{\aleph\_0}}$ which is a contradiction (this is the same argument by $\aleph\_1\leq2^{\aleph\_0}$). Therefore $\aleph\_2\leq 2^{\aleph\_0}$. If they are equal, wonderful.


Otherwise, $\aleph\_1<\aleph\_2<2^{\aleph\_0}=2^{\aleph\_1}$ which is a contradiction to our assumption that $\sf CH(\aleph\_1)$ holds.


So while it doesn't decrease the number of sets which required here, it does give a nice twist on the things. I'm not sure if we can get rid of the assumption of $\sf CH(\aleph\_1)$, maybe at the cost of requiring $\sf CH(\aleph\_2)$, and to remove that assumption we would need to go on and on. I'm not sure what happens at the limit, though.


Therefore, this raises a nice question:



> 
> Suppose that $\aleph(\Bbb R)=\aleph^\*(\Bbb R)=\aleph\_\omega$, does this imply that $\sf CH(\Bbb R)$ fails, or is it consistent that $\sf CH(\Bbb R)$ holds? What if we replace $\omega$ by an arbitrary limit ordinal?
> 
> 
> 


