There are two important numbers that in some meaningful sense describe "how well-orderable" the reals are:


1. Hartogs' Number $H(\Bbb R)$, also notated as $\aleph(\Bbb R)$, the least ordinal/well-ordered cardinal that doesn't inject into $\Bbb R$
2. The ordinal $\Theta$, also notated as $\aleph^\*(\Bbb R)$, the least ordinal/well-ordered cardinal that $\Bbb R$ doesn't surject onto


The first number $H(\Bbb R)$ can be thought of as describing the supremum of the cardinalities of all well-orderable *subsets* of $\Bbb R$, whereas the second number $\Theta$ can be thought of as describing the supremum of the cardinalities of all well-orderable *equivalence classes* of $\Bbb R$.


With choice, these are all equal to $\mathfrak c^+$, the cardinal after $\mathfrak c$.


**My question**: without choice, do we have any results regarding:


1. How large each of these numbers can be?
2. How small each of these numbers can be?
3. Which number is larger or if they can be equal?


I know that $AD$ determines some of these strongly enough to relate them to large cardinals (I believe Woodin cardinals), but I'm also interested in what the possibilities are without something that strong.



Hartogs' Number of the Reals and $\Theta$ without choice
Other than $\aleph\_1\leq\aleph(\Bbb R)\leq\aleph^\*(\Bbb R)$ and at least one of them is sharp, not much is provable. And of course, both of these inequalities are easy to prove.


We can have $\aleph(\Bbb R)$ be any uncountable cardinal, even singular. And we can have $\aleph^\*(\Bbb R)$ be any cardinal satisfying the above inequality, even singular.


The whole thing can be achieved with clever combination of collapsing cardinals and adding Cohen reals. The only thing to note, though, is that if $\aleph(\Bbb R)=\aleph\_1$ then:


1. $\aleph(\Bbb R)<\aleph^\*(\Bbb R)$,
2. If $\aleph\_1$ is regular (e.g. in presence of countable choice, or determinacy), then $\omega\_1$ is inaccessible to reals, and in particular inaccessible in $L$ (not to be confused with $\omega\_1^L$ is inaccessible, of course).
3. As a consequence, we had to collapse cardinals.


The point is that starting from CH, given two uncountable cardinals $\aleph\_1<\kappa\leq\lambda$ we can arrange a model just by adding Cohen reals (so cofinalities and cardinals are not changed), where $\aleph(\Bbb R)=\kappa$ and $\aleph^\*(\Bbb R)=\lambda$.


If we also want $\aleph(\Bbb R)=\aleph\_1$, then we need to be more subtle about it and collapse some limit cardinal (e.g $\aleph\_\omega$ or an inaccessible).


