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

Hey, this is a really cool idea. Not sure what exact implementation you're suggesting, though.

Can you give some examples? For example, what's Ordname(α) for α≤ω?

