User blog comment:Ubersketch/A couple questions./@comment-35470197-20181030234858

No, there is no natural extension, because the set \(\Omega\) of all countable ordinals itself is uncountable. The uncountability ensures that it is impossible to enumerate \(\Omega\) by a countable notation.