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?



A question about  large denumerable 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.


And once we know that HOD thinks those things, then it follows that our universe V also agrees, since those properties about this ordinal are absolute from HOD to V, since HOD computes the L hierarchy the same as we do in V. 


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$. 


