The first ordinal that doesn't receive a notation is called the Church-Kleene ordinal and is denoted by \omega^{CK}_1.
<_\mathcal{O} is not recursively enumerable, but there is a recursively enumerable relation which agrees with <_\mathcal{O} precisely on members of \mathcal{O} .