User blog comment:Ubersketch/What are some ways to map a well-order to the natural numbers without using a Godel coding/@comment-39541634-20190909210146/@comment-34422464-20190910142400

Yeah, I understand. I'd like examples for higher ordinals.