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

If we use the fundamental sequence {0,1,2,...} for ω, then Ordname(ω) = 0.1t2t3t...