User blog comment:Ubersketch/A proposal for a standard/@comment-35470197-20190811012241/@comment-34422464-20190813115933

Oh, yeah, I see that it's uncomputable since you only know those ordinals exist. Anyways, how do you find an algorithm for finding orders of ordinals?