User blog comment:Edwin Shade/An Injection From The Countable Ordinals To The Reals/@comment-30754445-20171219174932/@comment-25601061-20171219175826

I think that Ordname(α) (α < ω) = 0.αtαtαt... and Ordname(α) (α = ω) = 0.0t1t2t...