# A question about large denumerable ordinal numbers

Let S be the set of all ordinal-definable real numbers and let A(S) be the statement that S is denumerably infinite. If ZFC is consistent, it has been proved (by A. Levy) that it remains consistent if we adjoin A(S) to it as a new axiom-so let us assume that this has been done. Now S has a natural well-ordering inherited from the well-ordering of the class of all ordinal-definable sets. Let O(S) be the ordinal number of this natural well-ordering of S. My question is, how does the size of O(S)-which must be very large indeed-compare with other large denumerable ordinal numbers, such as the smallest non-recursive ordinal number (in the sense of CHURCH/KLEENE) or some of the so-called "admissible" ordinal numbers?

-

The class HOD consisting of the hereditarily ordinal definable sets is transitive proper class inner model of ZFC, and your assumption A(S) amounts to the assertion that $\mathbb{R}^{\text{HOD}}$, the set of reals of this model, is a countable set in the ambient set-theoretic universe V. The shortest enumeration of this set in HOD, however, has the order type of the continuum of HOD, which we may denote $\frak{c}^{\rm \text{HOD}}$, and this would seem to be (one natural interpretation of) the ordinal to which you are referring.
Although your assumption means that this ordinal is countable in the ambient universe $V$, we may also consider it inside the inner model HOD, where it is simply the continuum. Thus, from the perspective of HOD, the ordinal is very large indeed by the standards that you have mentioned. In particular, HOD thinks that it is much larger than $\omega_1^{ck}$, the first non-computable (non-recursive) ordinal, and also that it is admisssible, and a limit of admissibles and a limit of limits of admissibles, and so on. In particular, it is a cardinal in the constructible universe L, since it is a cardinal in HOD, which contains L.
Finally, let me point out that the forcing method allows us enormous flexibility in controlling the precise value of this particular ordinal. Namely, suppose that V is any model of ZFC and that $\delta$ is any cardinal of $V$ with uncountable cofinality and above the continuum. First, by a theorem of Solovay, there is a forcing extension $V[G]$ in which the continuum becomes exactly $\delta$; one simply adds $\delta$ many Cohen reals. Next, by a theorem of MacAloon, there is a further extension $V[G][H]$ not adding any reals in which the reals of $V[G]$ become ordinal-definable in $V[G][H]$; one may do this by forcing to code the individual reals into the GCH pattern high above $\delta$. Finally, we may perform collapse forcing to build a model $V[G][H][K]$ in which $\delta$ becomes countable. If the reals of $V[G]$ were coded into the GCH pattern up high, this last step will preserve those reals as ordinal definable, and it will create no new ordinal definable sets since it is almost homogeneous forcing. Thus, the $\mathbb{R}^{\text{HOD}}$ of $V[G][H][K]$ is the same as $\mathbb{R}^{V[G]}$ and it will have cardinality $\delta$ there. Thus, we have arranged your ordinal to be exactly $\delta$ in $V[G][H][K]$, a model satisfying your assertion $A(S)$. But $\delta$ was an arbitrary cardinal with uncountable cofinality above the continuum in $V$.
In particular, the argument of my last paragraph shows that your ordinal can be any uncountable regular cardinal of $L$, in the sense that for any such cardinal there is a forcing extension of $L$ in which that cardinal is your countable ordinal, and these cardinals can of course become very large by the measures you have mentioned. – Joel David Hamkins Jun 12 '11 at 1:13