Kleene's $O$ is an ordinal notation system that uses certain natural numbers to represent transfinite ordinals. It is a recursive notation system (although it's not decidable whether a number represents an ordinal whether two numbers represent the same ordinal), so naturally we can only represent recursive ordinals, i.e. order types of recursive well-orderings. The smallest ordinal we cannot represent in Kleene's $O$ is the Church-Kleene ordinal $\omega_1^{\mathrm{CK}}$, the smallest non-recursive ordinal, so it is the order type of the recursive ordinals, i.e. the order type of the ordinals that can be represented in Kleene's $O$. (This leads to the result that the set of natural numbers in Kleene's $O$ is not recursive, or even recursively enumerable.) Since $\omega_1^{\mathrm{CK}}$ is non-recursive, it follows that you can't have a recursive well-ordering in Kleene's $O$ that has order-type $\omega_1^{\mathrm{CK}}$.
Yet this Wikipedia article mentions a remarkable fact:
"Within the scheme of notations of Kleene some represent ordinals and some do not. One can define a recursive total ordering that is a subset of the Kleene notations and has an initial segment which is well-ordered with order-type $\omega_1^{\mathrm{CK}}$. Every recursively enumerable (or even hyperarithmetic) nonempty subset of this total ordering has a least element. So it resembles a well-ordering in some respects. For example, one can define the arithmetic operations on it. Yet it is not possible to effectively determine exactly where the initial well-ordered part ends and the part lacking a least element begins."
First of all, does anyone know the details of how this recursive subset is defined? I'm more interested in the last part: "it is not possible to effectively determine exactly where the initial well-ordered part ends and the part lacking a least element begins." I assume that if you partitioned a recursive totally ordered set $X$ into two parts $A$ and $B$, such that every element of $A$ is less than every element of $B$, then both $A$ and $B$ are recursive totally ordered sets. Am I wrong about that? If I'm right, then is the article saying that a partition of the recursive subset into the well-ordered part and the non-well-ordered part CAN be done recursively, but we can't tell recursively which partition is the one we want?
Any help would be greatly appreciated.
Thank You in Advance.